4 Ebooks by Alessandro Fantechi
Paolo Ciancarini & Alessandro Fantechi: Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods f …
PDF
Inggeris
DRM
€228.19
Alessandro Fantechi & Thierry Lecomte: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 p …
EPUB
Inggeris
DRM
€57.88
Darren Cofer & Alessandro Fantechi: Formal Methods for Industrial Critical Systems
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are inte …
PDF
Inggeris
DRM
€58.12
Maurice H. ter Beek & Alessandro Fantechi: From Software Engineering to Formal Methods and Tools, and Back
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on Octo …
EPUB
Inggeris
DRM
€57.65
