Sciweavers

Share
FM
2009
Springer

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

9 years 8 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)
books