Axel Legay
Axel Legay
3 books in the database
Books
Runtime VerificationAxel Legay
Runtime Verification
Axel Legay · 2013
Tools and Algorithms for the Construction and Analysis of SystemsAxel Legay
Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay · 2017
Formal Modeling and Analysis of Timed SystemsAxel Legay
Formal Modeling and Analysis of Timed Systems
Axel Legay · 2014
Co-authored books and collections
Books that list Axel Legay among their authors but not as the lead author: co-written works, collections and compilations.
Hardware and Software : Verification and TestingValeria Bertacco
Hardware and Software : Verification and Testing
Valeria Bertacco · 2013
Risks and Security of Internet and SystemsFrédéric Cuppens
Risks and Security of Internet and Systems
Frédéric Cuppens · 2022
Automated Technology for Verification and AnalysisCyrille Artho
Automated Technology for Verification and Analysis
Cyrille Artho · 2016
From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem
From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem · 2014
Model Checking SoftwareFabrizio Biondi
Model Checking Software
Fabrizio Biondi · 2019