No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Safety Critical Flight Software: Code Coverage Utilization


    Contributors:

    Conference:

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


    Publication date :

    2017-07-13


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    On software reliability and code coverage

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


    On Software Reliability and Code Coverage

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


    Safety-critical software development using automatic production code generation

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


    Development of Safety-Critical Software Using Automatic Code Generation

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