Login / Signup
A Compositional Approach for Verifying Protocols Running on On-Chip Networks.
Freek Verbeek
Pooria M. Yaghini
Ashkan Eghbal
Nader Bagherzadeh
Published in:
IEEE Trans. Computers (2018)
Keyphrases
</>
high bandwidth
high speed
network protocols
analog vlsi
low cost
network structure
complex networks
high density
network size
sensor networks
model checking
delay tolerant
network analysis
communication protocols
wired networks