A

Axel Legay

9 books found

Books by Axel Legay
Runtime VerificationAxel Legay
⏱ 7h 6m

Runtime Verification

Axel Legay

2009426 pp.
Tools and Algorithms for the Construction and Analysis of SystemsAxel Legay
⏱ 8h 42m

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay

2003522 pp.
Hardware and Software : Verification and TestingValeria Bertacco
⏱ 6h 26m

Hardware and Software : Verification and Testing

Valeria Bertacco

2013386 pp.
Formal Modeling and Analysis of Timed SystemsAxel Legay
⏱ 4h 18m

Formal Modeling and Analysis of Timed Systems

Axel Legay

2014258 pp.
From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem
⏱ 4h 52m

From Programs to Systems - The Systems Perspective in Computing

Saddek Bensalem

2014292 pp.
Risks and Security of Internet and SystemsFrédéric Cuppens
⏱ 4h 23m

Risks and Security of Internet and Systems

Frédéric Cuppens

2017263 pp.
Automated Technology for Verification and AnalysisCyrille Artho
⏱ 9h 1m

Automated Technology for Verification and Analysis

Cyrille Artho

2016541 pp.
Model Checking SoftwareFabrizio Biondi
⏱ 4h 31m

Model Checking Software

Fabrizio Biondi

2019271 pp.
Models, Algorithms, Logics and ToolsLuca Aceto
⏱ 11h 19m

Models, Algorithms, Logics and Tools

Luca Aceto

2017679 pp.