search-head

Sie sind hier: Homepage >  Suche

    Auto-Coding/Auto-Proving Flight Control Software

    Auto-Coding/Auto-Proving Flight Control Software


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Exportieren, teilen und zitieren

    Dokumentinformationen

    Titel :

    Auto-Coding/Auto-Proving Flight Control Software

    Beteiligte:
    Tudor, N. (Autor:in) / IEEE / AIAA
    Kongress:

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

    Erschienen in:

    Digital avionics systems:; Avionics systems: transitioning to the next generation ; 6E4

    IEEE AIAA DIGITAL AVIONICS SYSTEMS CONFERENCE

    Erscheinungsdatum :

    2004-01-01

    Format / Umfang :

    6E4

    ISBN :

    078038539X , 0780385403

    Medientyp :

    Aufsatz (Konferenz)

    Format :

    Print

    Sprache :

    Englisch

    Schlagwörter :

    Digital avionics systems , IEEE , DASC , AIAA

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Ähnliche Titel

    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 Archiv | 2004

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

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

    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen

    Ähnliche Titel

    Exportieren, teilen und zitieren