What is the Point: Formal Analysis and Test Generation for a Railway Standard

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageDutch
Title of host publicatione-proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15)
EditorsPiero Baraldi, Francesco Di Maio, Enrico Zio
Pages921-928
Publication statusPublished - 1 Nov 2020

Cite this