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 :

    2017-07-13


    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


    Development of safety-critical software using automatic code generation

    Beine, M. / Otterbach, R. / Jungmann, M. | Tema Archiv | 2004


    Development of safety-critical software using automatic code generation

    Beine,M. / Otterbach,R. / Jungmann,M. et al. | Kraftfahrwesen | 2004


    Development of Safety-Critical Software Using Automatic Code Generation

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