Axel Legay
Books
- Models, Algorithms, Logics and Tools
- Formal Modeling and Analysis of Timed Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Runtime Verification
- Automated Technology for Verification and Analysis
- Risks and Security of Internet and Systems
- Model Checking Software
- From Programs to Systems - The Systems Perspective in Computing
- Hardware and Software : Verification and Testing
Author data: Open Library