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