Model Checking SoftwareFabrizio Biondi, Thomas Given-Wilson, Axel Legay · First published 2019Open the Tome
Models, Algorithms, Logics and ToolsLuca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare · First published 2017Open the Tome
Risks and Security of Internet and SystemsFrédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay · First published 2017Open the Tome
Automated Technology for Verification and AnalysisCyrille Artho, Axel Legay, Doron Peled · First published 2016Open the Tome
Formal Modeling and Analysis of Timed SystemsAxel Legay, Marius Bozga · First published 2014Open the Tome
From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem, Yassine Lakhnech, Axel Legay · First published 2014Open the Tome
Hardware and Software : Verification and TestingValeria Bertacco, Axel Legay · First published 2013Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsAxel Legay, Tiziana Margaria · First published 2003Open the Tome
