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 条

[21] Formal Methods for Industrial Critical Systems
Jan Friso Groote
Marieke Huisman
[J]. International Journal on Software Tools for Technology Transfer, 2024, 26 : 127 - 129
[22] 26th Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2021, (127): : 40 - 40
[23] Formal Methods for Industrial Critical Systems
Groote, Jan Friso
Huisman, Marieke
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (02) : 127 - 129
[24] 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
[25] 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
[26] Formal methods and tools for industrial critical systems
Lafuente, Alberto Lluch
Mavridou, Anastasia
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
[27] Formal methods and tools for industrial critical systems
ter Beek, Maurice H.
Larsen, Kim G.
Nickovic, Dejan
Willemse, Tim A. C.
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (03) : 325 - 330
[28] Formal methods and tools for industrial critical systems
Alberto Lluch Lafuente
Anastasia Mavridou
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 973 - 976
[29] Formal methods and tools for industrial critical systems
Maurice H. ter Beek
Kim G. Larsen
Dejan Ničković
Tim A. C. Willemse
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 325 - 330
[30] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
[J]. ERCIM NEWS, 2009, (78): : 9 - 9

← 1 2 3 4 5 →