OtiumSessione
Sessione
Non abbiamo ancora una biografia di Axel Legay.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Risks and Security of Internet and Systems
2022
Tools and Algorithms for the Construction and Analysis of Systems
2017
Runtime Verification
2013
From Programs to Systems - The Systems Perspective in Computing
2014
Hardware and Software : Verification and Testing
2013
Formal Modeling and Analysis of Timed Systems
2014
Automated Technology for Verification and Analysis
2016
Models, Algorithms, Logics and Tools
2017
Model Checking Software
2019