Vision-Based Marker-Less Landing of an Unmanned Aerial System on Moving Ground Vehicle
Using Fuzzy Logic to Stabilize the Position of a Multi Rotor
Toward an Operations-Dedicated Model for Space Systems
Test Languages for In-the-Loop Avionics Tests
Software Engineering and Its Application to Avionics
Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Model-Driven System Development for Distributed Fuel Management in Avionics
Extending the NOEL-V Platform with a RISC-V Vector Processor for Space Applications
Evaluation of Compiler-Induced Vulnerabilities