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
    International Journal on Software Tools for Technology Transfer, 2024, 26 : 127 - 129
  • [2] Formal Methods for Industrial Critical Systems
    Groote, Jan Friso
    Huisman, Marieke
    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
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
  • [4] Formal methods and tools for industrial critical systems
    Maurice H. ter Beek
    Kim G. Larsen
    Dejan Ničković
    Tim A. C. Willemse
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 325 - 330
  • [5] Formal methods and tools for industrial critical systems
    ter Beek, Maurice H.
    Larsen, Kim G.
    Nickovic, Dejan
    Willemse, Tim A. C.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (03) : 325 - 330
  • [6] Formal methods and tools for industrial critical systems
    Alberto Lluch Lafuente
    Anastasia Mavridou
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 973 - 976
  • [7] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
    Schoitsch, Erwin
    ERCIM NEWS, 2009, (78): : 9 - 9
  • [8] On Education and Training in Formal Methods for Industrial Critical Systems
    Westphal, Bernd
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
  • [9] A Survey on Applications of Formal Methods in Analysis of SCADA Systems
    Marovic, Mihael
    Derek, Ante
    Gros, Stjepan
    CRITICAL INFORMATION INFRASTRUCTURES SECURITY, CRITIS 2021, 2021, 13139 : 99 - 115
  • [10] Preface of the special issue on formal methods in industrial critical systems
    Gudemann, Matthias
    Nunez, Manuel
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393
12345