Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    AdaCore's Coding Standard Verification Tool Eases DO-178B Compliance



    Publication date :

    2008-05-16




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English





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

    Voas, Jeffrey / Payne, Jeffery / Miller, Keith | AIAA | 1993


    Verification and validation of a safety-critical steer-by-wire system using DO-178B

    Pimentel,J.R. / Kettering Univ.,US | Automotive engineering | 2006


    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