alessandro fantechi
Formal Methods for Industrial Critical Systems
TaschenbuchPrint on DemandThe 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
TaschenbuchPrint on DemandFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...
Formal Methods for Open Object-Based Distributed Systems
BuchPrint on DemandInhaltsangabePreface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz....
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
TaschenbuchPrint on DemandThis volume constitutes the proceedings of the Second International Conference on Reliability, Sa...
From Software Engineering to Formal Methods and Tools, and Back
TaschenbuchPrint on DemandThis volume was published in honor of Stefania Gnesis 65th birthday. The Festschrift volume conta...
- 1