Login / Signup

Modeling and Verification of Time-Triggered Communication Protocols.

Maria SoreaBruno DutertreWilfried Steiner
Published in: ISORC (2008)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • model checking
  • low cost
  • communication networks
  • colored petri nets