Verification of an Audio Control Protocol.
Doeko BosscherIndra PolakFrits W. VaandragerPublished in: FTRTFT (1994)
Keyphrases
- multimedia
- model checking
- control system
- model checker
- floor control
- protocol specification
- lightweight
- cryptographic protocols
- control method
- data acquisition
- mobile robot
- optimal control
- control strategy
- formal analysis
- multimedia information
- security analysis
- security protocols
- speech recognition
- audio video
- formal proof
- digital libraries