Formal Methods for Industrial Critical Systems: A Survey of Applications

被引：0

作者：

不详

机构：

来源：

ERCIM NEWS | 2013年 / 94期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：42 / 42

页数：1

共 50 条

[1] Formal Methods for Industrial Critical Systems
Jan Friso Groote
Marieke Huisman
[J]. International Journal on Software Tools for Technology Transfer, 2024, 26 : 127 - 129
[2] 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
[3] 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
[4] 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
[5] 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
[6] 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
[7] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
[J]. ERCIM NEWS, 2009, (78): : 9 - 9
[8] On Education and Training in Formal Methods for Industrial Critical Systems
Westphal, Bernd
[J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
[9] Preface of the special issue on formal methods in industrial critical systems
Gudemann, Matthias
Nunez, Manuel
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393
[10] Preface of the special issue on formal methods in industrial critical systems
Matthias Güdemann
Manuel Núñez
[J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393

← 1 2 3 4 5 →