Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Practical Uses of Formal Methods in Development of Airborne Software


    Contributors:

    Conference:

    SAE 2016 Aerospace Systems and Technology Conference



    Publication date :

    2016-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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 Archive | 1977