Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings

被引：0

作者：

机构：

来源：

Lect. Notes Comput. Sci. | 1600年

关键词：

D O I：

15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010

中图分类号：

学科分类号：

摘要：

引用

共 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] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
Kowalewski, Stefan
Roveri, Marco
[J]. ERCIM NEWS, 2011, (84): : 11 - 11
[3] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
[J]. ERCIM NEWS, 2008, (75): : 11 - 11
[4] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[5] 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
[6] 17th International Workshop on formal Methods for Industrial Critical Systems
Mateescu, Radu
[J]. ERCIM NEWS, 2012, (91): : 7 - 7
[7] Third International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Amsterdam, The Netherlands, 25-26 May 1998
[J]. Bulletin of the European Association for Theoretical Computer Science, (64):
[8] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12
[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 →