Login / Signup

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets.

Valery A. NepomniaschyVictor S. ArgirovDmitri M. BeloglazovAlexandre V. BystrovEugene A. ChetvertakovTatiana G. Churina
Published in: Program. Comput. Softw. (2008)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • wireless sensor networks
  • neural network
  • computer simulation
  • petri net
  • model checking
  • network traffic
  • communication networks