Personensuche
X
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
10
The First Twenty-Five Years of Industrial Use of the B-Meth..:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
13