alessandro fantechi
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-workshop proceedings of the 13th International...
From Software Engineering to Formal Methods and Tools, and Back
EbookSofort lieferbarThe Festschrift consists of eight sections, seven of which reflect the main research areas to whi...
Software Engineering for Resilient Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
EbookSofort lieferbarThis volume constitutes the proceedings of the Second International Conference on Reliability, Sa...
Formal Methods for Open Object-Based Distributed Systems
EbookSofort lieferbarFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...
Software Engineering for Resilient Systems
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...
Formal Methods for Industrial Critical Systems
TaschenbuchBezug 11-15The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...
Formal Methods for Open Object-Based Distributed Systems
BuchBezug 11-15Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
TaschenbuchBezug 11-15This volume constitutes the proceedings of the Second International Conference on Reliability,...
From Software Engineering to Formal Methods and Tools, and Back
TaschenbuchBezug 11-15This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume c...
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchBezug 16-20Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...
- 1