Visible to the public Formal Verification of Distributed Aircraft Controllers

Submitted by sloos@cs.cmu.edu on Fri, 05/16/2014 - 4:25pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Formal Verification of Distributed Aircraft Controllers
Switch to experimental viewer