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 条
  • [21] Formal Methods for Industrial Critical Systems: ERCIM's oldest active Working Group
    Fantechi, Alessandro
    ERCIM NEWS, 2009, (77): : 11 - 12
  • [22] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    Leue, Stefan
    Merino, Pedro
    ERCIM NEWS, 2008, (72): : 12 - 12
  • [23] Formal methods and automated verification of critical systems
    Maurice H. ter Beek
    Stefania Gnesi
    Alexander Knapp
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 355 - 358
  • [24] Formal methods and automated verification of critical systems
    ter Beek, Maurice H.
    Gnesi, Stefania
    Knapp, Alexander
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 355 - 358
  • [25] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [26] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
    ter Beek, Maurice
    ERCIM NEWS, 2023, (135): : 6 - 6
  • [27] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
    Cofer, Darren
    Fantechi, Alessandro
    Leue, Stefan
    Merino, Pedro
    SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
  • [28] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
    Brim, Lubos
    Leucker, Martin
    ERCIM NEWS, 2006, (67): : 9 - 9
  • [29] FMISC 2007 - 12th International Workshop on Formal Methods for Industrial Critical Systems
    不详
    ERCIM NEWS, 2007, (69): : 64 - 65
  • [30] On the Industrial Uptake of Formal Methods in the Railway Domain A Survey with Stakeholders
    Basile, Davide
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    Mazzanti, Franco
    Piattino, Andrea
    Trentini, Daniele
    Ferrari, Alessio
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 20 - 29
12345