Structural Failure Models for Fault-Tolerant Distributed Computing More Books Like This

Testing Software and Systems Testing Software and Systems
Testing Software and Systems
2017
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2016
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
2018
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2016
Principles of Distributed Systems Principles of Distributed Systems
Principles of Distributed Systems
2009
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011
Testing Software and Systems Testing Software and Systems
Testing Software and Systems
2011
Formal Methods Formal Methods
Formal Methods
2018
FM 2016: Formal Methods FM 2016: Formal Methods
FM 2016: Formal Methods
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2019
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2020
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2022