Login / Signup

Compositional verification of a communication protocol for a remotely operated aircraft.

Alwyn GoodloeCésar A. Muñoz
Published in: Sci. Comput. Program. (2013)
Keyphrases
  • communication protocol
  • communication protocols
  • wifi
  • model checking
  • artificial intelligence
  • control algorithm