Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)

被引：0

作者：

Salauen, Gwen ^{[1
]}

Schaetz, Bernhard ^{[2
]}

机构：

[1] Inria, Grenoble INP, Grenoble, France

[2] Fortiss GmbH, Munich, Germany

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 80卷

关键词：

D O I：

10.1016/j.scico.2013.01.008

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：107 / 108

页数：2

共 50 条

[1] 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
[2] 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
[3] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
Lang, Frederic
Flammini, Francesco
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 1 - 2
[4] Foreword: Selected papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria
Butterfield, Andrew
Bicarregui, Juan C.
Arenas, Alvaro
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (03) : 177 - 178
[5] Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
Andrew Butterfield
Juan C. Bicarregui
Alvaro Arenas
[J]. Formal Methods in System Design, 2007, 30 : 177 - 178
[6] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
[J]. ERCIM NEWS, 2006, (67): : 9 - 9
[7] 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
[8] 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
[9] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[10] Special Section Papers: Selected papers from CONAPPICE 2012 Preface
Daza, Loreto
Jose Martin, Antonio
[J]. INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, 2014, 39 (08) : 3963 - 3963

← 1 2 3 4 5 →