Some trends in formal methods applications to railway signaling

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    25 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    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
    PublisherWiley-IEEE
    Pages63-84
    ISBN (Print)9781118459898
    DOIs
    Publication statusPublished - 2013

    Fingerprint

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

    Cite this