Dependable Embedded Systems and Formal Methods for Industrial Critical Systems

被引：0
|
作者：
Schoitsch, Erwin [1 ]
机构：
[1] AARIT, ERCIM Working Grp Coordinator ARCS, Salzburg, Austria
来源：
ERCIM NEWS | 2009年 / 78期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：9 / 9
页数：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 in Industrial Dependable Systems Design - The TTTech Example
    Steiner, Wilfried
    [J]. PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
  • [4] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
    Sinha, Roopak
    Patil, Sandeep
    Gomes, Luis
    Vyatkin, Valeriy
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
  • [5] 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
  • [6] 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
  • [7] 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
  • [8] 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
  • [9] 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
  • [10] Formal Methods for Industrial Critical Systems: A Survey of Applications
    不详
    [J]. ERCIM NEWS, 2013, (94): : 42 - 42
12345