No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Safety Critical Flight Software: Code Coverage Utilization


    Beteiligte:

    Kongress:

    IEEE Galveston Bay Section Meeting ; 2017 ; Houston, TX, United States


    Erscheinungsdatum :

    13.07.2017


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    On Software Reliability and Code Coverage

    Karcich, R. M. / Skibbe, R. / Mathur, A. P. et al. | British Library Conference Proceedings | 1996


    On software reliability and code coverage

    Karcich, R.M. / Skibbe, R. / Mathur, A.P. et al. | IEEE | 1996


    Safety-critical software development using automatic production code generation

    Erkkinen,T. / Conrad,M. / The Mathworks,GB et al. | Kraftfahrwesen | 2007


    Development of Safety-Critical Software Using Automatic Code Generation

    Beine, Michael / Jungmann, Michael / Otterbach, Rainer | SAE Technical Papers | 2004