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
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