Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Auto-Coding/Auto-Proving Flight Control Software


    Beteiligte:

    Kongress:

    Conference; 23RD, Digital avionics systems:; Avionics systems: transitioning to the next generation ; 2004 ; Salt Lake City, UT



    Erscheinungsdatum :

    01.01.2004


    Format / Umfang :

    6E4



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Auto-coding/auto-proving flight control software

    Tudor, N. / Adams, M. / Clayton, P. et al. | IEEE | 2004


    Auto-coding UML statecharts for flight software

    Benowitz, E. / Clark, K. / Watney, G. | IEEE | 2006


    Auto-Coding UML Statecharts for Flight Software

    Benowitz, Edward G / Clark, Ken / Watney, Garth J. | NTRS | 2006


    Auto GCAS for analog flight control system

    Burns, Amy / Harper, Daniel / Barfield, Arthur F. et al. | IEEE | 2011


    777 Auto Flight Director System

    Hornish, R. / IEEE / AIAA | British Library Conference Proceedings | 1994