Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Supporting model-based development with unambiguous specifications, formal verification and correct-by-construction embedded software


    Weitere Titelangaben:

    Unterstuetzung der modellbasierten Entwicklung durch eindeutige Spezifikationen, formale Verifizierung und fortlaufende Korrektur bei der Entwicklung von Embedded-Software.



    Erscheinungsdatum :

    2004


    Format / Umfang :

    6 pages


    Anmerkungen:

    SAE-Paper;2004-01-1768;2004;In-Vehicle Networks and Software,Electrical Wiring ...;SAE Spec.Publ.; SP-1852


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software

    Hohmann, W. / Society of Automotive Engineers | British Library Conference Proceedings | 2004




    Formal Verification for Model-Based Development

    Bouali, Amar / Dion, Bernard | SAE Technical Papers | 2005


    Formal verification for model-based development

    Bouali,A. / Dion,B. / Esterel Technologies,FR | Kraftfahrwesen | 2005