Calibrating an Embedded Protocol on an Asynchronous System.

Yukiko Yamauchi Doina Bein Toshimitsu Masuzawa Linda Morales Ivan 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