Foreword: Selected papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria

被引：0

作者：

Butterfield, Andrew ^{[1
]}

Bicarregui, Juan C.

Arenas, Alvaro

机构：

[1] Univ Dublin Trinity Coll, OReilly Inst, Dublin 2, Ireland

[2] CCLRC Rutherford Appleton Lab, Chilton, Oxon, England

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2007年 / 30卷 / 03期

关键词：

D O I：

10.1007/s10703-006-0032-z

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：177 / 178

页数：2

共 50 条

[1] 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
[2] 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
[3] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
[J]. ERCIM NEWS, 2006, (67): : 9 - 9
[4] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
[J]. ERCIM NEWS, 2008, (75): : 11 - 11
[5] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[6] 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
[7] 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
[8] 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
[9] 17th International Workshop on formal Methods for Industrial Critical Systems
Mateescu, Radu
[J]. ERCIM NEWS, 2012, (91): : 7 - 7
[10] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12

← 1 2 3 4 5 →