Expertises
Engineering & Materials Science
# Electric Machine Theory
# Experiments
# Finite Automata
# Network Protocols
# Testing
Verbonden aan
Publicaties
Recent
Bos, P. V. D., & Vaandrager, F. (2021).
State identification for labeled transition systems with inputs and outputs.
Science of computer programming,
209, [102678].
https://doi.org/10.1016/j.scico.2021.102678
Bos, P. V. D.
, & Stoelinga, M. (2018).
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. In A. Orlandini, & M. Zimmermann (Eds.),
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. (pp. 118-132). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 277). Dagstuhl.
https://doi.org/10.4204/EPTCS.277.9
Vakken Collegejaar 2021/2022
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3078
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3078
Postbus 217
7500 AE Enschede