Modeling and Verification of Real-Time Protocols for Broadcast Networks.

Pradeep Jain Simon S. Lam

Published in: IEEE Trans. Software Eng. (1987)

Keyphrases

real time
low cost
network structure
vision system
timing constraints
database systems
formal verification
quality of service
modeling method
network design
end to end
cryptographic protocols
network model
computer networks
complex networks
high speed
control system
social networks