Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automating test case generation for coverages required by FAA standard DO-178B


    Contributors:

    Conference:

    9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.



    Publication date :

    1993-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Automating Test Case Generation for Coverages Required by FAA Standard DO-178B

    Voas, J. / Payne, J. / Miller, K. et al. | British Library Conference Proceedings | 1993


    Integrating an assurance case into DO-178B compliant software development

    Knight, John / Rowanhill, Jonathan / Ferrell, Uma et al. | IEEE | 2015

    Free access


    Model-Based Design for DO-178B with Qualified Tools

    Erkkinen, Thomas / Potter, Bill | AIAA | 2009