Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Articles - Formal Verification & Legacy Redesign


    Beteiligte:
    Young (Autor:in) / Houston


    Erscheinungsdatum :

    1999



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    53.70 / 53.70 Nachrichtentechnik, Kommunikationstechnik: Allgemeines / 55.64 Raumfahrzeugführung / 55.54 Flugführung / 55.54 / 55.64
    Lokalklassifikation TIB:    770/5650



    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | IEEE | 1999


    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | IEEE | 1998


    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | Tema Archiv | 1998


    Formal Verification and Legacy Redesign

    Young, F. / Houston, J. / IEEE | British Library Conference Proceedings | 1998


    JRC2012-74186 Formal Methods Verification and Validation (V&V) for Legacy Systems

    Georgiadis, S.K. / American Society of Mechanical Engineers | British Library Conference Proceedings | 2012