Searching for "Verification of an Audio Control Protocol." – sorted by Relevance.
-
Verification of an Audio Control Protocol
- Verification of an Audio Control Protocol Doeko Bosscher CWI P.O. Box 94079, 1090 GB Amsterdam
- Cited by 45 (6 self) – Add To MetaCart
-
Automated Verification of an Audio Control Protocol Using UPPAAL
- Automated Verication of an Audio Control Protocol Using UPPAAL Johan Bengtsson a W. O. David
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Verification of Hybrid Systems: An Audio Control Protocol
- Automatic Verification of Hybrid Systems : An Audio Control Protocol Luis Ricardo Sierra Abbate
- Add To MetaCart
-
Hybrid Systems
- in mechanically checking the complete verification of the audio control protocol using the general purpose theorem
- Add To MetaCart
-
Automated Analysis of an Audio Control Protocol
- Verification of the audio control protocol System description The system to be verified is modeled
- Cited by 42 (4 self) – Add To MetaCart
-
DEMOS at CONCUR96
- framework [2]. A graphical interface to a Circal model of an audio control communication protocol [1
- Add To MetaCart
-
Dependablesyenda Evolution
- –418. Bos94 D. Bosscher, I. Polak, and F. Vaandrager 1994. Verification of an audio-control protocol
- Add To MetaCart

