Formal Methods for Industrial Critical Systems

Book title Buchtitel
Formal Methods for Industrial Critical Systems
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
8718
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).