Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Making Formal Methods Practical


    Beteiligte:

    Kongress:

    19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    1B2


    Anmerkungen:

    IEEE cat nos 00CH37126



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Making formal methods practical

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


    Practical Uses of Formal Methods in Development of Airborne Software

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


    Practical Uses of Formal Methods in Development of Airborne Software

    Joyce, Jeffrey J. / Beecher, Scott / Fabre, Laurent et al. | British Library Conference Proceedings | 2016


    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archiv | 2005


    PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

    Botham, John / Dhadyalla, Gunwant / Powell, Antony et al. | British Library Conference Proceedings | 2017