Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.

Alwyn Goodloe César A. Muñoz

Published in: FMICS (2009)

Keyphrases

communication protocol
communication protocols
real time
wifi
neural network
image sequences
computer simulation