Second International Workshop on Formal Methods for Industrial Critical Systems, Cesena, Italy, 4-5 July 1997

被引：0

作者：

机构：

来源：

Bull Eur Assoc Theor Comput Sci | / 60卷 / 256期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 25 条

[1] 17th International Workshop on formal Methods for Industrial Critical Systems
Mateescu, Radu
ERCIM NEWS, 2012, (91): : 7 - 7
[2] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
ERCIM NEWS, 2008, (72): : 12 - 12
[3] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
ERCIM NEWS, 2006, (67): : 9 - 9
[4] FMISC 2007 - 12th International Workshop on Formal Methods for Industrial Critical Systems
不详
ERCIM NEWS, 2007, (69): : 64 - 65
[5] Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems
Cavalcanti, Ana
Petrucci, Laure
Seceleanu, Cristina
ERCIM NEWS, 2018, (112): : 47 - 47
[6] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
ERCIM NEWS, 2008, (75): : 11 - 11
[7] Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
Lect. Notes Comput. Sci., 1600,
[8] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
Alpuente, Maria
Cook, Byron
Joubert, Christophe
ERCIM NEWS, 2010, (80): : 6 - 6
[9] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
Kowalewski, Stefan
Roveri, Marco
ERCIM NEWS, 2011, (84): : 11 - 11
[10] 16th ERCIM Workshop on formal Methods for Industrial Critical Systems
Salauen, Gwen
Schaetz, Bernhard
ERCIM NEWS, 2011, (87): : 9 - 9

← 1 2 3 →