PhD. CS Formal methods, Model checking, Hybrid systems.
Company:Aalborg UniversityLocation:Aalborg, Denmark
marmux doesn’t have any following yet.