Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

被引：0

作者：

Andrew Butterfield

Juan C. Bicarregui

Alvaro Arenas

机构：

[1] Trinity College,O’Reilly Institute

[2] CCLRC Rutherford Appleton Laboratory,undefined

[3] Chilton,undefined

来源：

Formal Methods in System Design | 2007年 / 30卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：177 / 178

页数：1

共 50 条

[1] 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
[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 →