Sciweavers

FM
2009
Springer

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

14 years 6 months ago
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
André Platzer, Edmund M. Clarke
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FM
Authors André Platzer, Edmund M. Clarke
Comments (0)