Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Auto-Coding/Auto-Proving Flight Control Software


    Contributors:

    Conference:

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



    Publication date :

    2004-01-01


    Size :

    6E4



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    777 Auto Flight Director System

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


    Zuverlässige Software fürs Auto

    Koch, Beate | Tema Archive | 2004


    A reusable architectural pattern for auto-generated payload management flight software

    Murray, Alexander / Schoppers, Marcel / Scandore, Steve | IEEE | 2009