Visible to the public Formal verification of distributed aircraft controllers

Submitted by sloos@cs.cmu.edu on Mon, 03/04/2013 - 2:55pm
Preview: Text

Other available formats:   

Formal verification of distributed aircraft controllers
Switch to experimental viewer