Login / Signup
A component-based design and compositional verification of a fault-tolerant multimedia communication protocol.
Anil Hanumantharaya
Purnendu Sinha
Anjali Agarwal
Published in:
Real Time Imaging (2003)
Keyphrases
</>
fault tolerant
communication protocol
fault tolerance
multimedia
distributed systems
high assurance
safety critical
multimedia data
neural network
load balancing
state machine
user interface
communication protocols