Model checking dependability attributes of wireless group communication
暂无分享,去创建一个
[1] William H. Sanders,et al. The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..
[2] Andrea Bondavalli,et al. Analysis of group communication protocols to assess quality of service properties , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
[3] M.A. Qureshi,et al. The UltraSAN Modeling Environment , 1995, Perform. Evaluation.
[4] Andrea Bondavalli,et al. Analysis and estimation of the quality of service of group communication protocols , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.
[5] Marta Z. Kwiatkowska,et al. Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol , 2002, PAPM-PROBMIV.
[6] L. B. Milstein,et al. On the accuracy of a first-order Markov model for data transmission on fading channels , 1995, Proceedings of ICUPC '95 - 4th IEEE International Conference on Universal Personal Communications.
[7] Andreas Mitschele-Thiel. Systems Engineering with SDL: Developing Performance-Critical Communication Systems , 2001 .
[8] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[9] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.
[10] Christel Baier,et al. Automated Performance and Dependability Evaluation Using Model Checking , 2002, Performance.
[11] Holger Hermanns,et al. A tool for model-checking Markov chains , 2003, International Journal on Software Tools for Technology Transfer.
[12] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[13] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[14] Edgar Nett,et al. Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks , 1999, EDCC.
[15] Andrea Bondavalli,et al. QoS Analysis of Group Communication Protocols in Wireless Environment , 2002 .
[16] William H. Sanders,et al. Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..
[17] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[18] Stefan Schemmer,et al. Zuverlässige Echtzeit-Gruppenkommunikation auf einem lokalen Funknetz , 2000, GMD research series.
[19] Joost-Pieter Katoen,et al. Model-checking large structured Markov chains , 2003, J. Log. Algebraic Methods Program..
[20] Stephan Merz,et al. Model Checking , 2000 .