Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A verification case study


    Beteiligte:
    GANNON, C. (Autor:in)

    Kongress:

    Computers in Aerospace Conference ; 1977 ; Los Angeles , CA , U.S.A.



    Erscheinungsdatum :

    1977-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    CASE STUDY VERIFICATION OF RUC/MAPS FOG AND VISIBILITY FORECASTS

    Smirnova, T. G. / Benjamin, S. G. / Brown, J. M. et al. | British Library Conference Proceedings | 2000


    A Case Study on the Verification of Cache Coherence Protocols

    Azizi, M. / Song, X. / Aboulhamid, E.-M. | British Library Online Contents | 2004


    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014