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 条

[31] On Education and Training in Formal Methods for Industrial Critical Systems
Westphal, Bernd
[J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
[32] Formal Methods for Industrial Critical Systems: A Survey of Applications
不详
[J]. ERCIM NEWS, 2013, (94): : 42 - 42
[33] Preface of the special issue on formal methods in industrial critical systems
Gudemann, Matthias
Nunez, Manuel
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393
[34] Preface of the special issue on formal methods in industrial critical systems
Matthias Güdemann
Manuel Núñez
[J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393
[35] EPTCS 395 Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Abraham, Erika
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (395):
[36] Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008) Preface
Canal, Carlos
Pasareanu, Corina S.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 260 : 1 - 2
[37] REPORT ON DCFS 2008 10th International Workshop on Descriptional Complexity of Formal Systems July 16 - 18, 2008, Charlottetown, Prince Edward Island, Canada
Truthe, Bianca
[J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2008, (96): : 160 - 161
[38] Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Preface
Cerone, Antonio
Curzon, Paul
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 208 : 1 - 3
[39] Selected Papers from the First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012) Preface
Artho, Cyrille
Olveczky, Peter Csaba
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 103 : 1 - +
[40] Special Issue-13th International Conference on Natural Language and Information Systems (NLDB 2008)
Kapetanios, Epaminondas
Sugumaran, Vijayan
Spiliopoulou, Myra
[J]. DATA & KNOWLEDGE ENGINEERING, 2010, 69 (03) : 249 - 250

← 1 2 3 4 5 →