Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Validation and Verification of a Radio-based Signaling System Using Scenarios



    Kongress:

    International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany



    Erscheinungsdatum :

    2003-01-01


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Verification of a radio-based signaling system using scenarios

    Klose, J. / Westphal, B. | Tema Archiv | 2003


    Validation of the GSM radio interface signaling protocols - selected studies

    Eizenhoefer,A. / Fuhrman,W. / Philips Kommunikations Industrie,DE et al. | Kraftfahrwesen | 1991


    Introspection-Based Verification and Validation

    Zima, Hans P. / James, Mark L. | IEEE | 2009


    Redefining Space System Verification & Validation

    Sellers, J.J. / Larson, W.J. / Kirkpatrick, D. et al. | British Library Conference Proceedings | 2009