Zickert, A
232  results:
Search for persons X
?
 
?
11

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