Sensing and control for autonomous vehicles : applications to land, water and air vehicles
Sensing and control for autonomous vehicles : applications to land, water and air vehicles
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Formal methods for safety and security : case studies for aerospace applications
Formal methods for safety and security : case studies for aerospace applications
Wording robotics : discourses and representations on robotics
Modeling, computing and data handling methodologies for maritime transportation