An approach is documented for analyzing probabilistic properties of fault-tolerant distributed systems using the PRISM model checker.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Probabilistic Analysis of Distributed Fault-Tolerant Systems


    Beteiligte:

    Erscheinungsdatum :

    01.05.2011


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    Fault tolerant distributed systems using Ada

    KNIGHT, J. / URQUHART, J. | AIAA | 1983


    Development of Fault-Tolerant Distributed Vehicle Systems

    Torlo, M. / Bertram, T. / VDI | British Library Conference Proceedings | 2000


    Fault-Tolerant Systems Based on Distributed IMA Technology

    Elmahdi, Dr.-Ing. Mohamed | Springer Verlag | 2023


    Secure and fault-tolerant voting in distributed systems

    Hardekopf, B. / Kwiat, K. / Upadhyaya, S. | Tema Archiv | 2001


    Secure and fault-tolerant voting in distributed systems

    Hardekopf, B. / Kwiat, K. / Upadhyaya, S. | IEEE | 2001