Login / Signup

Formal Modeling of Communication Protocols by Graph Transformation.

Zarrin LangariRichard J. Trefler
Published in: FM (2006)
Keyphrases
  • communication protocols
  • graph transformation
  • communication protocol
  • data analysis
  • communication networks
  • formal methods
  • formal model