Sökt på: Böcker av Marieke Huisman
totalt 23 träffar
Concise Guide to Software Verification
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for …
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms …
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held …
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in …
Integrated Formal Methods
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the …
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in …
Concise Guide to Software Verification
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on …