Formal Methods for Industrial Critical Systems: ERCIM's oldest active Working Group

被引：0

作者：

Fantechi, Alessandro ^{[1
,2
]}

机构：

[1] Univ Florence, FMICS WG, Florence, Italy

[2] ISTI, CNR, Pisa, Italy

来源：

ERCIM NEWS | 2009年 / 77期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：11 / 12

页数：2

共 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] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
Alpuente, Maria
Cook, Byron
Joubert, Christophe
[J]. ERCIM NEWS, 2010, (80): : 6 - 6
[4] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Leue, Stefan
Merino, Pedro
[J]. ERCIM NEWS, 2008, (72): : 12 - 12
[5] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
[J]. ERCIM NEWS, 2008, (75): : 11 - 11
[6] Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11–12, 1999—Selected Papers
Stefania Gnesi
Diego Latella
[J]. Formal Methods in System Design, 2001, 19 : 119 - 120
[7] Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers
Gnesi, S
Latella, D
[J]. FORMAL METHODS IN SYSTEM DESIGN, 1998, 12 (02) : 123 - 124
[8] Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers - Preface
Garavel, H
Gnesi, S
Schieferdecker, I
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (03) : 195 - 196
[9] Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected papers
Gnesi, S
Latella, D
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (02) : 119 - 120
[10] Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers
Stefania Gnesi
Diego Latella
[J]. Formal Methods in System Design, 1998, 12 : 123 - 124

← 1 2 3 4 5 →