Application of Model-Checking Techniques to Railway Scheduling Problems

Lecture notes in computer science 2026 Open access

Read full text
Authors: Radu Mateescu, Wendelin Bernhard Serwe, Aline Uwimbabazi
DOI: 10.1007/978-3-032-12484-5_12
Cited by: 0
References: 30

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling Business Process Modeling and Analysis

Publication details

Journal / source
Lecture notes in computer science
Volume
16470
Pages
216–235
Publication date
1 January 2026
Language
EN