Login / Signup
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
Jean-Pierre Courtiat
Roberto C. de Oliveira
Published in:
MMNET (1995)
Keyphrases
</>
multimedia
protocol specification
communication protocols
multimedia content
multimedia data
formal specification
temporal ordering
metadata
database systems
artificial intelligence
formal methods
response time