Sign in

Calibrating an Embedded Protocol on an Asynchronous System.

Yukiko YamauchiDoina BeinToshimitsu MasuzawaLinda MoralesIvan Hal Sudborough
Published in: IDC (2008)
Keyphrases
  • state machines
  • lightweight
  • communication protocol
  • network protocols
  • embedded systems
  • formal analysis
  • state machine
  • database
  • database systems
  • digital images
  • discussion forums
  • coloured petri nets