Y
Yassine Lakhnech
4 works on record
Works
From Programs to Systems - The Systems Perspective in Computing
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Concurrency verification
Concurrency verification
Specification and verification of hybrid and real time systems
Specification and verification of hybrid and real time systems