Nicolas Halbwachs
Nicolas Halbwachs
3 ספרים במאגר
ספרים
Synchronous programming of reactive systemsNicolas Halbwachs
Synchronous programming of reactive systems
Nicolas Halbwachs · 2013
Computer aided verificationNicolas Halbwachs
Computer aided verification
Nicolas Halbwachs · 1999
Tools and Algorithms for the Construction and Analysis of SystemsNicolas Halbwachs
Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs · 2005