Login / Signup
Verisim: Formal Analysis of Network Simulations.
Karthikeyan Bhargavan
Carl A. Gunter
Moonjoo Kim
Insup Lee
Davor Obradovic
Oleg Sokolsky
Mahesh Viswanathan
Published in:
IEEE Trans. Software Eng. (2002)
Keyphrases
</>
formal analysis
network topologies
network structure
computer networks
network model
peer to peer
communication networks
neural network
network traffic
agent model
ban logic
complex networks
network management