Expertise
Social Sciences
# Eu
# German Federal Railways
# Railroad
Engineering & Materials Science
# Algebra
# Formal Languages
# Railroads
# Specifications
# Wireless Networks
Organisations
Publications
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
Courses Academic Year 2021/2022
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses Academic Year 2020/2021
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands