Login / Signup

Verisim: Formal Analysis of Network Simulations.

Karthikeyan BhargavanCarl A. GunterMoonjoo KimInsup LeeDavor ObradovicOleg SokolskyMahesh 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