Expertises
Computer Science
- Adaptive Learning
- Automated Analysis
- Driven Approach
- Interoperation
- Model Transformation
- Security Analysis
- Timed Automaton
- model checker
Organisaties
Onderzoeksprofielen
Adres


Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3074
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling
Postbus 217
7500 AE Enschede