Formal Methods for Distributed Computing in Future Railway Systems

被引：0
|
作者：
Fantechi, Alessandro [1 ,2 ]
Gnesi, Stefania [2 ]
Haxthausen, Anne [3 ]
机构：
[1] Univ Firenze, DINFO, Via S Marta 3, Florence, Italy
[2] CNR, Ist Sci & Tecnol Informaz A Faedo, Via Moruzzi 1, Pisa, Italy
[3] Tech Univ Denmark, DTU Compute, Lyngby, Denmark
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024 | 2025年 / 15223卷
关键词：
D O I：
10.1007/978-3-031-75390-9_7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：109 / 111
页数：3
相关论文
共 50 条
  • [1] Formal methods for railway control systems
    Alessandro Fantechi
    Francesco Flammini
    Stefania Gnesi
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 643 - 646
  • [2] Formal methods for railway control systems INTRODUCTION
    Fantechi, Alessandro
    Flammini, Francesco
    Gnesi, Stefania
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (06) : 643 - 646
  • [3] Challenges of future distributed computing systems
    Yau, SS
    Chang, CCK
    Chow, RYC
    Limoncini, L
    Raynal, M
    NINTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2003, : 376 - 376
  • [4] Models for formal methods and tools: the case of railway systems
    ter Beek, M. H.
    SOFTWARE AND SYSTEMS MODELING, 2025,
  • [5] Reengineering of distributed systems using formal methods
    Kleuker, S
    SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 189 - 192
  • [6] Tutorial on formal methods for distributed and cooperative systems
    Choppy, Christine
    Haddad, Serge
    Klaudel, Hanna
    Kordon, Fabrice
    Petrucci, Laure
    Thierry-Mieg, Yarm
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 362 - 365
  • [7] Formal methods unifying computing science and systems theory
    Boute, R
    ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 2, PROCEEDINGS: COMMUNICATIONS, INFORMATION AND CONTROL SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 84 - 89
  • [8] FORMAL METHODS FOR RAILWAY SIGNALING
    CULLYER, WJ
    WISE, JW
    COMPUTERS AND SAFETY: A FIRST INTERNATIONAL CONFERENCE ON THE USE OF PROGRAMMABLE ELECTRONIC SYSTEMS IN SAFETY RELATED APPLICATIONS, 1989, 314 : 86 - 91
  • [9] Formal Methods for the Railway Sector
    ter Beek, Maurice
    Fantechi, Alessandro
    Ferrari, Alessio
    Gnesi, Stefania
    Scopigno, Riccardo
    ERCIM NEWS, 2018, (112): : 44 - 45
  • [10] Process migration methods in distributed computing systems
    Xiao, Hong
    Ruan Jian Xue Bao/Journal of Software, 1994, 5 (02):
12345