Search for persons
X
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
1
The 4SECURail Case Study on Rigorous Standard Interface Spe..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications ,
15