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 条
  • [11] Preface of the special issue on formal methods in industrial critical systems
    Matthias Güdemann
    Manuel Núñez
    International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393
  • [12] 26th Conference on Formal Methods for Industrial Critical Systems
    ter Beek, Maurice
    ERCIM NEWS, 2021, (127): : 40 - 40
  • [13] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
    Sinha, Roopak
    Patil, Sandeep
    Gomes, Luis
    Vyatkin, Valeriy
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
  • [14] 16th ERCIM Workshop on formal Methods for Industrial Critical Systems
    Salauen, Gwen
    Schaetz, Bernhard
    ERCIM NEWS, 2011, (87): : 9 - 9
  • [15] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
    Alpuente, Maria
    Cook, Byron
    Joubert, Christophe
    ERCIM NEWS, 2010, (80): : 6 - 6
  • [16] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
    Lang, Frederic
    Flammini, Francesco
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 1 - 2
  • [17] 17th International Workshop on formal Methods for Industrial Critical Systems
    Mateescu, Radu
    ERCIM NEWS, 2012, (91): : 7 - 7
  • [18] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
    Kowalewski, Stefan
    Roveri, Marco
    ERCIM NEWS, 2011, (84): : 11 - 11
  • [19] 25th International Conference on Formal Methods for Industrial Critical Systems
    ter Beek, Maurice
    ERCIM NEWS, 2020, (123): : 5 - 5
  • [20] EXPERIENCE WITH FORMAL METHODS IN CRITICAL SYSTEMS
    GERHART, S
    CRAIGEN, D
    RALSTON, T
    IEEE SOFTWARE, 1994, 11 (01) : 21 - 28
12345