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 条

[1] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
[J]. ERCIM NEWS, 2006, (67): : 9 - 9
[2] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12
[3] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
Kowalewski, Stefan
Roveri, Marco
[J]. ERCIM NEWS, 2011, (84): : 11 - 11
[4] 16th ERCIM Workshop on formal Methods for Industrial Critical Systems
Salauen, Gwen
Schaetz, Bernhard
[J]. ERCIM NEWS, 2011, (87): : 9 - 9
[5] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
Alpuente, Maria
Cook, Byron
Joubert, Christophe
[J]. ERCIM NEWS, 2010, (80): : 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] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[8] 17th International Workshop on formal Methods for Industrial Critical Systems
Mateescu, Radu
[J]. ERCIM NEWS, 2012, (91): : 7 - 7
[9] 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
[10] 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

← 1 2 3 4 5 →