Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2018-01-01


    Size :

    10 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    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