Models and Analysis for Distributed Systems More Books Like This
Integrated Formal Methods
2007
International Symposium on Fundamentals of Software Engineering
2007
Formal Methods and Software Engineering
2015
Formal Techniques for Distributed Systems
2010
Formal Techniques for Safety-Critical Systems
2014
Formal Methods: Foundations and Applications
2009
Formal Aspects of Component Software
2020
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Fundamentals of Software Engineering
2010
Integrated Formal Methods
2009
Formal Methods and Software Engineering
2016
Formal Aspects of Component Software
2018
Formal Techniques for Distributed Systems
2009
Formal Methods: Applications and Technology
2007
Formal Methods and Hybrid Real-Time Systems
2007