Sensing and control for autonomous vehicles : applications to land, water and air vehicles
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Distributed Parameter Systems : Proceedings of the 2nd International Conference Vorau, Austria 1984