Critical Systems: Formal Methods and Automated Verification

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal...

Web Services and Formal Methods

InhaltsangabeWeb Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied t...

Formal Methods - The Next 30 Years

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

From Software Engineering to Formal Methods and Tools, and Back

This volume was published in honor of Stefania Gnesis 65th birthday. The Festschrift volume conta...

Formal Methods for Industrial Critical Systems

Integrated Formal Methods

This book constitutes the refereed proceedings of the 17th International Conference on Integrated...

Coordination Models and Languages

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods:...

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa,...

Journeys Between Formal Methods and the Railway Industry

Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a ...

Coordination Models and Languages

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...