Formal Methods in Industrial Dependable Systems Design - The TTTech Example

被引：0
|
作者：
Steiner, Wilfried [1 ]
机构：
[1] TTTech, Kingsport, TN 37664 USA
来源：
PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017) | 2017年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：8 / 8
页数：1
相关论文
共 50 条
  • [1] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2009, (78): : 9 - 9
  • [2] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
    Sinha, Roopak
    Patil, Sandeep
    Gomes, Luis
    Vyatkin, Valeriy
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
  • [3] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [4] Formal Methods for Industrial Critical Systems
    Jan Friso Groote
    Marieke Huisman
    [J]. International Journal on Software Tools for Technology Transfer, 2024, 26 : 127 - 129
  • [5] Formal Methods for Industrial Critical Systems
    Groote, Jan Friso
    Huisman, Marieke
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (02) : 127 - 129
  • [6] Formal methods and tools for industrial critical systems
    Lafuente, Alberto Lluch
    Mavridou, Anastasia
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
  • [7] Formal methods and tools for industrial critical systems
    ter Beek, Maurice H.
    Larsen, Kim G.
    Nickovic, Dejan
    Willemse, Tim A. C.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (03) : 325 - 330
  • [8] Formal methods and tools for industrial critical systems
    Alberto Lluch Lafuente
    Anastasia Mavridou
    [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 973 - 976
  • [9] Formal methods and tools for industrial critical systems
    Maurice H. ter Beek
    Kim G. Larsen
    Dejan Ničković
    Tim A. C. Willemse
    [J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 325 - 330
  • [10] On Applicability of Formal Methods and Tools to Dependable Services
    Ishikawa, Fuyuki
    Honiden, Shinichi
    [J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 2009, E92B (01) : 9 - 16
12345