FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems

被引：0

作者：

Cofer, Darren ^{[1
]}

Fantechi, Alessandro ^{[1
]}

机构：

[1] Univ Firenze, ERCIM FMICS Working Grp Chair, Florence, Italy

来源：

ERCIM NEWS | 2008年 / 75期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：11 / 11

页数：1

共 50 条

[41] Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications Singapore, 13th May 2014 Preface
Lin, Shang-Wei
Petrucci, Laure
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156):
[42] 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)
de la Vara, Jose Luis
Ruiz, Alejandra
Kung, Antonio
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022 WORKSHOPS, 2022, 13415 : 142 - 144
[43] 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)
de la Vara, Jose Luis
Gallina, Barbara
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 120 - 121
[44] 8th International Workshop on Microbeam Probes of Cellular Radiation Response November 13-15, 2008 Chiba, Japan Abstracts
不详
[J]. JOURNAL OF RADIATION RESEARCH, 2009, 50 : A86 - A125
[45] 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) European Research and Innovation Projects in the Field of Dependable Cyber-Physical Systems and Systems-of-Systems
Schoitsch, Erwin
Skavhaug, Amund
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 42 - 48
[46] SASSUR 2016: The 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
Ruiz, Alejandra
Luis de la Vara, Jose
Kelly, Tim
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 270 - 272
[47] 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)
Ruiz, Alejandra
de la Vara, Jose Luis
Favaro, John
Belmonte, Fabien
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 149 - 151
[48] Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering Eindhoven, The Netherlands, April 3, 2016 Preface
Rubin, Julia
Thum, Thomas
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (206):
[49] Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures Eindhoven, The Netherlands, 3rd April 2016 Preface
Kofron, Jan
Tumova, Jana
Buhnova, Bara
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (205):
[50] SPONTANEOUS MUTATION - INTERNATIONAL TITISEE WORKSHOP - SCHWARZWALD-HOTEL, TITISEE, BLACK FOREST, GERMANY APRIL 13TH-15TH, 1972 - CRITICAL SURVEY
LENZ, W
[J]. HUMANGENETIK, 1972, 16 (1-2): : 111 - &

← 1 2 3 4 5 →