Verification of an Audio Protocol with Bus Collision Using UPPAAL
暂无分享,去创建一个
Wang Yi | Kim G. Larsen | Paul Pettersson | Fredrik Larsson | Johan Bengtsson | Kåre J. Kristoffersen | W. O. David Griffioen | J. Bengtsson | K. Larsen | P. Pettersson | W. Yi | K. Kristoffersen | W. Griffioen | F. Larsson
[1] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[2] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.
[3] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[4] Willem Otto David Griffioen. Analysis of an Audio Control Protocol with Bus Collision , 1994 .
[5] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[6] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[7] Wang Yi,et al. Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.
[8] Wang Yi,et al. Diagnostic Model-Checking for Real-Time Systems , 1995, Hybrid Systems.