Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling


    Beteiligte:

    Kongress:

    Proceedings of the ASME Joint Rail Conference 2015 ; 2015 ; San Jose, CA



    Erscheinungsdatum :

    01.01.2015


    Format / Umfang :

    JRC2015-5687



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Safety Assessment: A Critical Review

    Kontovas, Christos A. | Online Contents | 2009




    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023