Expertises
Engineering & Materials Science
# Biomedical Equipment
# Fault Tree Analysis
# Model Checking
# Nuclear Power Plants
# Risk Management
# Stochastic Models
Mathematics
# Concurrent
# Model Checking
Publicaties
Recent
van der Berg, F. I.
, & van de Pol, J. (2019).
Concurrent chaining hash maps for software model checking. In C. Barrett, & J. Yang (Eds.),
2019 Formal Methods in Computer Aided Design (FMCAD) (pp. 46-54). Article 8894279 (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); Vol. 2019). IEEE.
https://doi.org/10.23919/FMCAD.2019.8894279
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede