25th International Conference on Formal Methods for Industrial Critical Systems

被引：0
|
作者：
ter Beek, Maurice [1 ]
机构：
[1] CNR, ISTI, Rome, Italy
来源：
ERCIM NEWS | 2020年 / 123期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [31] Report on DCFS 2023: 25th International Conference on Descriptional Complexity of Formal Systems Potsdam, July 4-6, 2023
    Truthe, Bianca
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2024, (142): : 83 - 84
  • [32] 16th ERCIM Workshop on formal Methods for Industrial Critical Systems
    Salauen, Gwen
    Schaetz, Bernhard
    ERCIM NEWS, 2011, (87): : 9 - 9
  • [33] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
    Alpuente, Maria
    Cook, Byron
    Joubert, Christophe
    ERCIM NEWS, 2010, (80): : 6 - 6
  • [34] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
    Kowalewski, Stefan
    Roveri, Marco
    ERCIM NEWS, 2011, (84): : 11 - 11
  • [35] Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems
    Cavalcanti, Ana
    Petrucci, Laure
    Seceleanu, Cristina
    ERCIM NEWS, 2018, (112): : 47 - 47
  • [36] 25TH ANNIVERSARY OF ADDRESSING-SYSTEMS-INTERNATIONAL
    不详
    CONFECTIONERY PRODUCTION, 1985, 51 (09): : 522 - 522
  • [37] Formal methods and tools for industrial critical systems
    Lafuente, Alberto Lluch
    Mavridou, Anastasia
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
  • [38] Formal methods and tools for industrial critical systems
    Maurice H. ter Beek
    Kim G. Larsen
    Dejan Ničković
    Tim A. C. Willemse
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 325 - 330
  • [39] Formal methods and tools for industrial critical systems
    ter Beek, Maurice H.
    Larsen, Kim G.
    Nickovic, Dejan
    Willemse, Tim A. C.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (03) : 325 - 330
  • [40] Formal methods and tools for industrial critical systems
    Alberto Lluch Lafuente
    Anastasia Mavridou
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 973 - 976
12345