Models and Analysis for Distributed Systems More Books Like This
International Symposium on Fundamentals of Software Engineering
2007
Formal Methods and Software Engineering
2015
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
Model Checking Software
2018
Formal Methods for Industrial Critical Systems
2011
Critical Systems: Formal Methods and Automated Verification
2017