Axel Legay
· 9 obras en el catálogo
Obras
Model Checking Software
Tools and Algorithms for the Construction and Analysis of Systems
Hardware and Software : Verification and Testing
Risks and Security of Internet and Systems
Formal Modeling and Analysis of Timed Systems
Automated Technology for Verification and Analysis
Models, Algorithms, Logics and Tools
