Select
Explore
keyword: Model Checking – 31 free books.
Login to Fave
Hana Chockler and Georg Weissenbacher, editors
AVAILABLE!
Login to Fave
Login to Fave
Tomas Vojnar and Lijun Zhang, editors
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Trustworthiness in Mobile Cyber Physical Systems
Kyungtae Kang et al. (editors)
AVAILABLE!
Login to Fave
Agents and Robots for Reliable Engineered Autonomy
Rafael C. Cardoso et al. (editors)
AVAILABLE!
Login to Fave
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
AVAILABLE!
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
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
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave