Formal Methods-based System Development for General Aviation and Autonomous Aircraft
in Michael Hofbaur, Manfred Husty: Proceedings of the Austrian Robotics Workshop, vol. 1, 2011
| Author(s): | Pointner W., Kotsis G., Naderhirn M. |
| Year: | 2011 |
| Month: | 5 |
| Abstract: | |