Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Practical Uses of Formal Methods in Development of Airborne Software


    Beteiligte:

    Kongress:

    SAE 2016 Aerospace Systems and Technology Conference



    Erscheinungsdatum :

    2016-01-01


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Practical Uses of Formal Methods in Development of Airborne Software

    Joyce, Jeffrey J. / Fabre, Laurent / Rajagopalan, Ramesh et al. | SAE Technical Papers | 2016


    Making Formal Methods Practical

    Zimmerman, M. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Making formal methods practical

    Zimmerman, M. / Rodriguez, M. / Ingram, B. et al. | IEEE | 2000


    Minuteman airborne software development

    Freda, F.A. | Tema Archiv | 1977