Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Validation of Control Software by Search-Based Testing Using Formal Methods


    Contributors:

    Conference:

    SAE 2016 World Congress and Exhibition



    Publication date :

    2016-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Validation of Control Software by Search-Based Testing Using Formal Methods

    Kobuna, Shunsuke / Yamaguchi, Tomoya / Kaga, Tomoyuki | SAE Technical Papers | 2016


    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993


    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990