Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt



    Kongress:

    Symposium Test und Verifikation von Software bei Digitalen Systemen der Luft-und Raumfahrt ; 1983 Symposium Test und Verifikation von Software bei Digitalen Systemen der Luft-und Raumfahrt : 1983.09.
    DGLR-Symposium on Test and Verification of Software for Digital Systems in Aerospace ; 1983
    DGLR-Symposium on Test and Verification of Software for Digital Systems in Aerospace : 1983.09.


    Erschienen in:

    Erscheinungsdatum :

    1984


    Format / Umfang :

    252 S


    Anmerkungen:

    21 cm
    Ill., graph. Darst
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch , Deutsch




    Bewertung von Software-Systemen der Luft- und Raumfahrt auf der Basis computergestuetzter Qualitaetsanalysen

    Pawlitzek, G. / Daiqui, S. / Deutschen Gesellschaft fur Luft- und Raumfahrt eV | British Library Conference Proceedings | 1993


    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen

    Sperling,T. / Esterel Technologies,Ottobrunn,DE | Kraftfahrwesen | 2002


    Strukturwerkstoffe der Luft- und Raumfahrt

    Kriebel, D. | Tema Archiv | 1977


    Antriebsfragen der Luft- und Raumfahrt

    Lutz, Otto | TIBKAT | 1966