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 :

    2018-01-01


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.05






    The PERF Approach for Formal Verification

    Benaissa, Nazim / Bonvoisin, David / Feliachi, Abderrahmane et al. | British Library Conference Proceedings | 2016


    Formal Analysis for Real-Time Scheduling

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