Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of Flight Critical Software


    Beteiligte:
    Miller, Steven (Autor:in) / Anderson, Elise (Autor:in) / Wagner, Lucas (Autor:in) / Whalen, Michael (Autor:in) / Heimdahl, Matts (Autor:in)

    Kongress:

    AIAA Guidance, Navigation, and Control Conference and Exhibit



    Erscheinungsdatum :

    01.01.2005




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch






    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993



    Development and Verification of Software for Flight Safety Critical Systems

    Afzali, H. / Mattissek, A. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991