Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    imProve-HDL, A DO-254 Static Formal Property Checker Used for Design and Verification of Avionics Protocol Controllers


    Beteiligte:

    Kongress:

    22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN



    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    1A1


    Anmerkungen:

    IEEE cat nos 03CH37449



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

    Lisong Wang / Miaofang Chen / Jun Hu | DOAJ | 2018

    Freier Zugriff

    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006


    Formal Verification of the LDACS MAKE Protocol

    Mäurer, Nils / Grundner-Culemann, Sophia | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff