Zickert, A
232  Ergebnisse:
Personensuche X
?
 
?
12

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
 
1-15