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 条
  • [41] Distributed monitoring and control of future power systems via grid computing
    Taylor, G. A.
    Irving, M. R.
    Hobson, P. R.
    Huang, C.
    Kyberd, P.
    Taylor, R. J.
    2006 POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-9, 2006, : 1562 - +
  • [42] The Future of Distributed Computing Systems in ATLAS: Boldly Venturing Beyond Grids
    Barreiro, Fernando
    Benjamin, Doug
    Childers, Taylor
    De, Kaushik
    Elmsheuser, Johannes
    Filipcic, Andrej
    Klimentov, Alexei
    Lassnig, Mario
    Maeno, Tadashi
    Oleynik, Danila
    Panitkin, Sergey
    Wenaus, Torre
    23RD INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP 2018), 2019, 214
  • [43] DISTRIBUTED COMPUTING SYSTEMS
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1981, 5 (05): : 366 - 373
  • [44] DISTRIBUTED COMPUTING SYSTEMS
    SINGHAL, M
    CASAVANT, TL
    COMPUTER, 1991, 24 (08) : 12 - 15
  • [45] Formal systems, not methods
    Loomes, M
    Christianson, B
    Davey, N
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64
  • [46] Distributed computing systems
    Srimani, PK
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1997, 28 (11) : 1021 - 1024
  • [47] Distributed cooperative formal methods tools
    Goguen, J
    Lin, K
    Mori, A
    Rosu, G
    Sato, A
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 55 - 62
  • [48] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Howard Bowman
    New Generation Computing, 1998, 16 : 343 - 372
  • [49] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Bowman, H
    NEW GENERATION COMPUTING, 1998, 16 (04) : 343 - 372
  • [50] A Framework for Formal Verification and Validation of Railway Systems
    Benabbi, Yannis
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 371 - 374
12345