C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of Computer Switching Networks: An Overview.
Shuyuan Zhang
Sharad Malik
Rick McGeer
Published in:
ATVA (2012)
Keyphrases
</>
computer systems
network design
model checking
computer networks
personal computer
network model
formal methods
neural network
learning algorithm
image sequences
multi agent systems
expert systems
community detection
network topologies
optical burst switching