The Bounded Retransmission Protocol Must Be on Time!
暂无分享,去创建一个
Theo C. Ruys | Joost-Pieter Katoen | Pedro R. D'Argenio | Jan Tretmans | T. Ruys | J. Tretmans | P. D’Argenio | J. Katoen
[1] Donald E. Knuth,et al. Literate Programming , 1984, Comput. J..
[2] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[3] Frits W. Vaandrager,et al. Proof-Checking a Data Link Protocol , 1994, TYPES.
[4] P. R. d' Argenio,et al. Modelling and Verifying a Bounded Retransmission Protocol , 1996, FME 1996.
[5] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[6] Mohamed G. Gouda. Protocol Verification Made Simple: A Tutorial , 1993, Comput. Networks ISDN Syst..
[7] Natarajan Shankar,et al. Experiments in Theorem Proving and Model Checking for Protocol Verification , 1996, FME.
[8] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[9] Thomas A. Henzinger,et al. Hybrid Systems III , 1995, Lecture Notes in Computer Science.
[10] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[11] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[12] Jan Friso Groote,et al. A Bounded Retransmission Protocol for Large Data Packets , 1993, AMAST.
[13] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.
[14] Jan Friso Groote,et al. The Syntax and Semantics of μCRL , 1995 .
[15] Gerard J. Holzmann,et al. Design and Validation of Protocols: A Tutorial , 1993, Comput. Networks ISDN Syst..
[16] Wang Yi,et al. Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.
[17] Stavros Tripakis,et al. Extending Promela and Spin for Real Time , 1996, TACAS.
[18] N. Shankar. Unifying Verification Paradigms (Extended Abstract)* , 1996 .
[19] Radu Mateescu,et al. Formal Description and Analysis of a Bounded Retransmission Protocol , 1996 .
[20] Arne Skou,et al. Modelling and analysis of a collision avoidance protocol using Spin and Uppaal , 1996, The Spin Verification System.
[21] Gerard J. Holzmann,et al. An improved protocol reachability analysis technique , 1988, Softw. Pract. Exp..
[22] Jan Friso Groote,et al. Specification and verification of real time systems in ACP , 1990, PSTV.
[23] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .