14th ERCIM Formal Methods for Industrial Critical Systems Workshop

被引：0

作者：

Alpuente, Maria ^{[1
]}

Cook, Byron ^{[1
]}

Joubert, Christophe ^{[1
]}

机构：

[1] Univ Politecn Valencia, SpaRCIM, Valencia, Spain

来源：

ERCIM NEWS | 2010年 / 80期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：6 / 6

页数：1

共 50 条

[1] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
Kowalewski, Stefan
Roveri, Marco
[J]. ERCIM NEWS, 2011, (84): : 11 - 11
[2] 16th ERCIM Workshop on formal Methods for Industrial Critical Systems
Salauen, Gwen
Schaetz, Bernhard
[J]. ERCIM NEWS, 2011, (87): : 9 - 9
[3] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12
[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] 14th Workshop of the ERCIM Working Group Environmental Modelling
Lux, Thomas
[J]. ERCIM NEWS, 2007, (71): : 8 - 8
[6] 17th International Workshop on formal Methods for Industrial Critical Systems
Mateescu, Radu
[J]. ERCIM NEWS, 2012, (91): : 7 - 7
[7] Formal Methods for Industrial Critical Systems: ERCIM's oldest active Working Group
Fantechi, Alessandro
[J]. ERCIM NEWS, 2009, (77): : 11 - 12
[8] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
[J]. ERCIM NEWS, 2006, (67): : 9 - 9
[9] FMISC 2007 - 12th International Workshop on Formal Methods for Industrial Critical Systems
不详
[J]. ERCIM NEWS, 2007, (69): : 64 - 65
[10] 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
[J]. ERCIM NEWS, 2018, (112): : 47 - 47

← 1 2 3 4 5 →