![](/img/cover-not-exists.png)
[IEEE 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW) - Budapest, TBD, Hungary (2010.09.27-2010.09.28)] 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop - An Approach to Formal Verification of Free-Flight Separation
Eder, Sebastian, Smith, GraemeYear:
2010
Language:
english
DOI:
10.1109/sasow.2010.35
File:
PDF, 258 KB
english, 2010