Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Haehn, Rebecca
3  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Acceleration Techniques for Symbolic Simulation of Railway ..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Haehn, Rebecca ; Ábrahám, Erika ; Kotowski, Niklas - p. 46-62 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Symbolic Simulation of Railway Timetables Under Considerati..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Haehn, Rebecca ; Ábrahám, Erika ; Nießen, Nils - p. 257-275 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Freight Train Scheduling in Railway Systems:

, In: Lecture Notes in Computer Science; Measurement, Modelling and Evaluation of Computing Systems,
Haehn, Rebecca ; Ábrahám, Erika ; Nießen, Nils - p. 225-241 , 2020
Link: https://doi.org/10.1007/..
 
1-3