Marieke Huisman
Marieke Huisman
6 ספרים במאגר
ספרים
Tests and ProofsMarieke Huisman
Tests and Proofs
Marieke Huisman · 2024
Concise Guide to Software VerificationMarieke Huisman
Concise Guide to Software Verification
Marieke Huisman · 2023
Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman · 2023
Formal MethodsMarieke Huisman
Formal Methods
Marieke Huisman · 2021
Fundamental Approaches to Software EngineeringMarieke Huisman
Fundamental Approaches to Software Engineering
Marieke Huisman · 2017
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Marieke Huisman · 2009
ספרים משותפים ואוספים
ספרים שבהם Marieke Huisman מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Integrated Formal MethodsErika Ábrahám
Integrated Formal Methods
Erika Ábrahám · 2016
Formal Methods for Industrial Critical SystemsJan Friso Groote
Formal Methods for Industrial Critical Systems
Jan Friso Groote · 2022
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer · 2018
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe · 2006