marmux

PhD. CS Formal methods, Model checking, Hybrid systems.

Aalborg UniversityAalborg, Denmark