Expertise
Computer Science
- Models
- Adaptive Learning
- Attack
- Driven Approach
- Testing
- Model Checking
- Prevents
- System Property
Organisations
Research profiles
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
University of Twente
Zilverling (building no. 11)
Hallenweg 19
7522 NH Enschede
Netherlands
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
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