Some trends in formal methods applications to railway signaling

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    25 Citaten (Scopus)
    1 Downloads (Pure)

    Samenvatting

    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
    Originele taal-2Engels
    TitelFormal Methods for Industrial Critical Systems : a Survey of Applications
    RedacteurenS. Gnesi, T. Margarita
    Plaats van productieChichester
    UitgeverijWiley-IEEE
    Pagina's63-84
    ISBN van geprinte versie9781118459898
    DOI's
    StatusGepubliceerd - 2013

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Some trends in formal methods applications to railway signaling'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit