Dependable Embedded Systems and Formal Methods for Industrial Critical Systems

被引：0
|
作者：
Schoitsch, Erwin [1 ]
机构：
[1] AARIT, ERCIM Working Grp Coordinator ARCS, Salzburg, Austria
来源：
ERCIM NEWS | 2009年 / 78期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：9 / 9
页数：1
相关论文
共 50 条
  • [21] 14th ERCIM Formal Methods for Industrial Critical Systems Workshop
    Alpuente, Maria
    Cook, Byron
    Joubert, Christophe
    [J]. ERCIM NEWS, 2010, (80): : 6 - 6
  • [22] 15th ERCIM Workshop on formal Methods for Industrial Critical Systems
    Kowalewski, Stefan
    Roveri, Marco
    [J]. ERCIM NEWS, 2011, (84): : 11 - 11
  • [23] 17th International Workshop on formal Methods for Industrial Critical Systems
    Mateescu, Radu
    [J]. ERCIM NEWS, 2012, (91): : 7 - 7
  • [24] 25th International Conference on Formal Methods for Industrial Critical Systems
    ter Beek, Maurice
    [J]. ERCIM NEWS, 2020, (123): : 5 - 5
  • [25] A software infrastructure for dependable embedded systems
    Shimada, Hiromasa
    Courbot, Alexandre
    Kinebuchi, Yuki
    Nakajima, Tatsuo
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2011, 26 (06): : 491 - 503
  • [26] An integrated architecture for dependable embedded systems
    Kopetz, H
    [J]. 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 160 - 161
  • [27] Design validation of embedded dependable systems
    Bondavalli, A
    Fantechi, A
    Latella, D
    Simoncini, L
    [J]. IEEE MICRO, 2001, 21 (05) : 52 - 62
  • [28] Formal methods and automated verification of critical systems
    Maurice H. ter Beek
    Stefania Gnesi
    Alexander Knapp
    [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 355 - 358
  • [29] Formal methods and automated verification of critical systems
    ter Beek, Maurice H.
    Gnesi, Stefania
    Knapp, Alexander
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 355 - 358
  • [30] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    [J]. CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
12345