MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of an Audio Control Protocol." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Verification of an Audio Control Protocol
by Doeko Bosscher, Indra Polak, Frits Vaandrager — 1994
…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
by Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi — 2002
…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
by Luis Ricardo Sierra Abbate
…Automatic Verification of Hybrid Systems : An Audio Control Protocol Luis Ricardo Sierra Abbate…
Add To MetaCart

Hybrid Systems
by Frits Vaandrager
… 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
by Pei-Hsin Ho, Howard Wong-toi — 1995 — In Proc. of CAV'95
… 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
by Corrado Priami (Ed.), Corrado Priami, Eike Best, Burkhard Bieber, Bernd Grahlmann — 1996
… framework [2]. A graphical interface to a Circal model of an audio control communication protocol [1…
Add To MetaCart

Dependablesyenda Evolution
by Grand Challenge For
…–418. Bos94 D. Bosscher, I. Polak, and F. Vaandrager 1994. Verification of an audio-control protocol…
Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB