Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

被引：0

作者：

Lang, Frederic ^{[1
]}

Flammini, Francesco ^{[2
]}

机构：

[1] Univ Grenoble Alpes, Inria Grenoble Rhone Alpes, LIG, 655 Ave Europe, F-38330 Montbonnot St Martin, France

[2] Ansaldo STS, Via Argine 425, I-80147 Naples, Italy

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2016年 / 118卷

关键词：

D O I：

10.1016/j.scico.2016.01.004

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 2

页数：2

共 50 条

[1] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Cofer, Darren
Fantechi, Alessandro
Leue, Stefan
Merino, Pedro
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
[2] Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009+FMICS 2010)
Alpuente, Maria
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 775 - 777
[3] 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
[4] 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
[5] Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)
Salauen, Gwen
Schaetz, Bernhard
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 107 - 108
[6] Special Issue: Formal Methods for Interactive Systems Preface
Reeves, Steve
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
[7] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[8] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
[J]. ERCIM NEWS, 2006, (67): : 9 - 9
[9] Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
[J]. Lect. Notes Comput. Sci., 1600,
[10] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
[J]. ERCIM NEWS, 2008, (75): : 11 - 11

← 1 2 3 4 5 →