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

Alwyn Goodloe, Csar A. Muoz

Browse the full FMICS paper archive.