A
Axel Legay
9 works on record
Works

Models, Algorithms, Logics and Tools

Hardware and Software : Verification and Testing

Model Checking Software

Formal Modeling and Analysis of Timed Systems

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems

Risks and Security of Internet and Systems

From Programs to Systems - The Systems Perspective in Computing
Runtime Verification
Runtime Verification