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

Halfway Generic Verification of Railway Control Systems:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Zickert, Gustav ; Stathatos, Nikitas - p. 178-189 , 2023
Link: https://doi.org/10.1007/..
 
1-1