Some trends in formal methods applications to railway signaling

A. Fantechi, W.J. Fokkink, A. Morzenti

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    33 Citations (Scopus)
    1 Downloads (Pure)


    This chapter contains sections titled: Introduction CENELEC Guidelines Software Procurement in Railway Signaling A Success Story: The B Method Classes of Railway Signaling Equipment Conclusions References
    Original languageEnglish
    Title of host publicationFormal Methods for Industrial Critical Systems : a Survey of Applications
    EditorsS. Gnesi, T. Margarita
    Place of PublicationChichester
    ISBN (Print)9781118459898
    Publication statusPublished - 2013


    Dive into the research topics of 'Some trends in formal methods applications to railway signaling'. Together they form a unique fingerprint.

    Cite this