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 :

    2008-05-16




    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




    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


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

    Pimentel,J.R. / Kettering Univ.,US | Kraftfahrwesen | 2006