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 条
  • [31] A Survey of Formal Specification Application to Safety Critical Systems
    Nanda, Smruti Priyambada
    Grant, Emanuel S.
    2019 IEEE 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTER TECHNOLOGIES (ICICT), 2019, : 296 - 302
  • [32] Challenges in the successful transfer of formal methods technology into industrial applications
    Saiedian, H
    Hinchey, MG
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (05) : 313 - 322
  • [33] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    Cofer, Darren
    Fantechi, Alessandro
    ERCIM NEWS, 2008, (75): : 11 - 11
  • [34] Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009+FMICS 2010)
    Alpuente, Maria
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 775 - 777
  • [35] Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)
    Salauen, Gwen
    Schaetz, Bernhard
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 107 - 108
  • [36] Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
    Lect. Notes Comput. Sci., 1600,
  • [37] A Critical Survey of EEG-Based BCI Systems for Applications in Industrial Internet of Things
    Ajmeria, Rahul
    Mondal, Mayukh
    Banerjee, Reya
    Halder, Tamesh
    Deb, Pallav Kumar
    Mishra, Debasish
    Nayak, Pravanjan
    Misra, Sudip
    Pal, Surjya Kanta
    Chakravarty, Debashish
    IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2023, 25 (01): : 184 - 212
  • [38] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [39] A survey of formal methods in self-adaptive systems
    Department of Computer Science, Linnaeus University, Växjö, Sweden
    ACM Int. Conf. Proc. Ser., (67-79):
  • [40] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
12345