Select
Explore
keyword: Model Checking – 31 free books.
Agents and Robots for Reliable Engineered Autonomy
Rafael C. Cardoso et al. (editors)
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
David A. Rosenblueth,
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Hana Chockler and Georg Weissenbacher, editors
AVAILABLE!
Login to Fave
Shuvendu K. Lahiri and Chao Wang, editors
AVAILABLE!
Login to Fave
Shuvendu K. Lahiri and Chao Wang, editors
AVAILABLE!
Login to Fave
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
AVAILABLE!
Login to Fave
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
AVAILABLE!
Login to Fave
Login to Fave
Mathematics in Software Reliability and Quality Assurance
Tadashi Dohi and Shaoying Liu, editors
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave