Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
 
Publisher Herausgeber
Lecture Notes in Computer Science. Springer Verlag.
 
Place of publishing Erscheinungsort
11246
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Konnov, Igor ; Widder, Josef ByMC: Byzantine Model CheckerKonferenzbeitrag Inproceedings 2018