Login / Signup

Verification of communication protocols in a multi-agent system.

Marina BagicAleksandar BabacMarijan Kunstic
Published in: CSTST (2008)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • communication networks
  • model checking
  • formal methods
  • protocol stack