Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

    SAE 2016 World Congress and Exhibition



    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    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 Archiv | 1990