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 条
  • [21] SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS
    YAU, SS
    JIA, XP
    BAE, DH
    COMPUTER COMMUNICATIONS, 1992, 15 (04) : 213 - 224
  • [22] Combining Semi-Formal and Formal Methods for the Developement of Distributed Reconfigurable Control Systems
    Oueslati, Raja
    Mosbahi, Olfa
    Khalgui, Mohamed
    Li, Zhiwu
    Qu, Ting
    IEEE ACCESS, 2018, 6 : 70426 - 70443
  • [23] Formal methods in enterprise computing
    Jüllig, R
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 22 - 23
  • [24] FORMAL METHODS IN COMPUTING - EDITORIAL
    WICHMANN, B
    COMPUTER JOURNAL, 1989, 32 (05): : 385 - 385
  • [25] Computing with words in formal methods
    Pham, TD
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2000, 15 (08) : 801 - 810
  • [26] Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems
    Eris, Oytun
    Mutlu, Ilhan
    11TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION (ICARCV 2010), 2010, : 776 - 780
  • [27] Current state and future trends of distributed computing systems in Asia
    Yau, SS
    Chu, W
    Lau, F
    Lin, C
    Mori, K
    Sinka, PK
    10TH IEEE INTERNATIONAL WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2004, : 200 - 200
  • [28] Distributed teaching of formal methods
    Pepper, P
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 140 - 152
  • [29] Tableau methods for formal verification of multi-agent distributed systems
    Massacci, F
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 373 - 400
  • [30] A formal framework for verifying distributed embedded systems based on abstraction methods
    Francois Carcenac
    Frederic Boniol
    International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 471 - 484
12345