Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling, analysis and verification of real-time resource access control protocols: a formal approach


    Beteiligte:
    Hazra, Rumpa (Autor:in) / Dey, Shouvik (Autor:in) / Singha, Jayashree (Autor:in)


    Erscheinungsdatum :

    01.01.2018


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.05






    Formal Analysis for Real-Time Scheduling

    Dutertre, B. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Formal analysis for real-time scheduling

    Dutertre, B. / Stavridou, V. | IEEE | 2000