Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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



    Publication date :

    2004


    Size :

    6 pages


    Remarks:

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


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    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




    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997


    Formal Verification for Model-Based Development

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