Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Erscheinungsdatum :

    16.05.2008




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Schlagwörter :



    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 | Kraftfahrwesen | 2006


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

    Erkkinen, Thomas / Potter, Bill | AIAA | 2009


    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