Some trends in formal methods applications to railway signaling

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    21 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

    Fantechi, A., Fokkink, W. J., & Morzenti, A. (2013). Some trends in formal methods applications to railway signaling. In S. Gnesi, & T. Margarita (Eds.), Formal Methods for Industrial Critical Systems : a Survey of Applications (pp. 63-84). Wiley-IEEE. https://doi.org/10.1002/9781118459898.ch4