Formal Methods in Railway Signalling Infrastructure Standardisation Processes

Mark S. Bouwman, S.P. (Bas) Luttik, Arend Rensink, M.I.A. Stoelinga, Djurre van der Wal

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationProceedings of ISoLA 2021
EditorsT. Margaria, B. Steffen
Pages500-501
Publication statusPublished - 2021

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Nature Switzerland AG
Number13036

Cite this