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 条
  • [41] Practitioners' views on the use of formal methods: an industrial survey by structured interview
    Snook, C
    Harrison, R
    INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (04) : 275 - 283
  • [42] Applying Formal Methods into Safety-Critical Health Applications
    Gholami, Mohammad-Reza
    Boucheneb, Hanifa
    MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 195 - 209
  • [43] Applying Formal Methods into Safety-Critical Health Applications
    Gholami, Mohammad-Reza
    Boucheneb, Hanifa
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8822 : 195 - 208
  • [44] Formal Methods in Industrial Dependable Systems Design - The TTTech Example
    Steiner, Wilfried
    PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
  • [45] Example Applications of Formal Methods to Aerospace and Autonomous Systems
    Humphrey, Laura
    2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 67 - 75
  • [46] A survey on industrial vision systems, applications and tools
    Malamas, EN
    Petrakis, EGM
    Zervakis, M
    Petit, L
    Legat, JD
    IMAGE AND VISION COMPUTING, 2003, 21 (02) : 171 - 188
  • [47] Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems
    Champion, Adrien
    Delmas, Remi
    Garoche, Pierre-loic
    Roux, Pierre
    SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2011, 4 (02): : 850 - 858
  • [48] Behavioral Analysis Of Safety Critical Systems Using Formal Methods
    Rao, Shreesha P.
    Nanda, Manju
    Jayanthi, J.
    2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2385 - 2391
  • [49] THE INDUSTRIAL USE OF FORMAL METHODS
    THOMAS, M
    MICROPROCESSORS AND MICROSYSTEMS, 1993, 17 (01) : 31 - 36
  • [50] Formal methods in an industrial environment
    Cuéllar, JR
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 57 - 60
12345