Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Executable assertions and flight software


    Beteiligte:
    MAHMOOD, A. (Autor:in) / ANDREWS, D. (Autor:in) / MCCLUSKEY, E. (Autor:in)

    Kongress:

    Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.



    Erscheinungsdatum :

    1984-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Testing flight systems with machine executable scripts

    Gibbs, Don / Bone, Brian | IEEE | 2009



    Generating Executable Flight-Plans for Unmanned Aircraft: A Formal Mission Planning Tool

    Seibel, C. W. / Farines, J.-M. / Dallagnolo, G.-C. et al. | British Library Conference Proceedings | 1996


    Comparative product assertions - requirements and critical review

    Fava,J.A. / Veroutis,A.D. / Roy F.Weston,US | Kraftfahrwesen | 1997


    Comparative Product Assertions - Requirements and Critical Reviews

    Fava, J. A. / Veroutis, A. D. / SAE | British Library Conference Proceedings | 1997