Expertise
Computer Science
- Adaptive Learning
- Automated Analysis
- Driven Approach
- Interoperation
- Model Transformation
- Security Analysis
- Timed Automaton
- model checker
Organisations
Research profiles
Address

University of Twente
Zilverling (building no. 11)
Hallenweg 19
7522 NH Enschede
Netherlands

University of Twente
Zilverling (building no. 11), room 3074
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling
P.O. Box 217
7500 AE Enschede
Netherlands