C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifiable hierarchical protocols with network invariants on parametric systems.
Opeoluwa Matthews
Jesse D. Bingham
Daniel J. Sorin
Published in:
FMCAD (2016)
Keyphrases
</>
application level
expert systems
communication protocols
computer networks
delay tolerant
social networks
network protocols
distributed network
communication protocol
quality of service
complex systems
distributed systems
management system
information systems
affine invariant
peer to peer
network services