Results 211 to 220 of about 99,408 (239)

Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection

International Conference on Reliability, Safety, and Security of Railway Systems
A. Haxthausen, Alessandro Fantechi, Gloria Gori   +2 more
semanticscholar   +1 more source

An Experience in Railway interlocking System Specification and formal Verification

2003
L'Harmattan Hongrie ...
CHIANESE R., LAZZARO A., MARMO P, MAZZOCCA, NICOLA, PAPA D., VITTORINI V.   +5 more
openaire   +3 more sources

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems

2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), 2016
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun   +3 more
semanticscholar   +1 more source

Developing railway interlocking systems with session types and Event-B

International Symposium on Applied Computational Intelligence and Informatics, 2016
T. Kiss, K. Janosi-Rancz
semanticscholar   +1 more source

Resilience in railway transport systems: a literature review and research agenda

Transport Reviews, 2020
Nikola Bešinović
exaly  

Railway interlocking detection system

AIP Conference Proceedings
Shraddha Dhere, Aditi Funde, Renuka Kulkarni, G. S. Mundada   +3 more
openaire   +1 more source

Does high-speed railway promote regional innovation growth or innovation convergence?

Technology in Society, 2021
Xuehui Yang, Jiaping Zhang
exaly  

A literature review of Artificial Intelligence applications in railway systems

Transportation Research Part C: Emerging Technologies, 2022
, Lorenzo De Donato, Francesco Flammini
exaly  

Automatic verification of railway interlocking systems

Proceedings of the second workshop on Formal methods in software practice - FMSP '98, 1998
openaire   +1 more source

An overview of recovery models and algorithms for real-time railway rescheduling

Transportation Research Part B: Methodological, 2014
Valentina Cacchiani, Leo Kroon, Paolo Toth   +2 more
exaly