Expertises
Mathematics
# Abstraction
# Schedule
# Scheduling
# Timed Automata
Engineering & Materials Science
# Automata Theory
# Scheduling
# Specifications
# Testing
Verbonden aan
Nevenactiviteiten
-
Erasmus University Rotterdam
President ofd the Executive Board -
Ruhr Universität Bochum
Member Supervisory Board (Hochschulrat)
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede