Expertises
Computer Science
- Models
- Adaptive Learning
- Attack
- Driven Approach
- Testing
- Model Checking
- Prevents
- System Property
Organisaties
Onderzoeksprofielen
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3074
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling
Postbus 217
7500 AE Enschede