Axel Legay

No biography available.

Works (7)

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Cover of Risks and Security of Internet and Systems

Risks and Security of Internet and Systems

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Cover of Hardware and Software : Verification and Testing

Hardware and Software : Verification and Testing

Cover of Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

Cover of From Programs to Systems - The Systems Perspective in Computing

From Programs to Systems - The Systems Perspective in Computing