Expertises
Social Sciences
# Eu
# German Federal Railways
# Railroad
Engineering & Materials Science
# Algebra
# Formal Languages
# Railroads
# Specifications
# Wireless Networks
Verbonden aan
Publicaties
Recent
Bouwman, M.
, van der Wal, D., Luttik, B.
, Stoelinga, M.
, & Rensink, A. (2020).
What is the point: Formal analysis and test generation for a railway standard. In P. Baraldi, F. Di Maio, & E. Zio (Eds.),
Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (pp. 921-928). Research Publishing Services.
https://doi.org/10.3850/978-981-14-8593-0_4410-cd
van Glabbeek, R., Höfner, P.
, & van der Wal, D. (2018).
Analysing AWN-specifications using mCRL2 (extended abstract). In C. A. Furia, & K. Winter (Eds.),
Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 398-418). (Lecture Notes in Computer Science; Vol. 11023). Springer.
https://doi.org/10.1007/978-3-319-98938-9_23
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.
Vakken Collegejaar 2020/2021
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede