Search for persons
X
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
3
Acceleration Techniques for Symbolic Simulation of Railway ..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
5
Symbolic Simulation of Railway Timetables Under Considerati..:
, In:
?
Lecture Notes in Computer Science; Measurement, Modelling and Evaluation of Computing Systems ,
6