Specification of Real-Time Broadcast Networks.
Pradeep JainSimon S. LamPublished in: IEEE Trans. Computers (1991)
Keyphrases
- real time
- vision system
- high speed networks
- real time systems
- social networks
- network analysis
- database
- data dissemination
- formal verification
- data sets
- heterogeneous networks
- power law
- network design
- formal specification
- high level
- social network analysis
- quality of service
- complex systems
- high speed
- low cost
- programming language