Spacecraft Autonomy Challenges for Next-Generation Space Missions
Ambiguity Acceptance Testing: A Comparison of the Ratio Test and Difference Test
Fault Tolerant Flight Control - A Survey
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Travel Demand and Transportation Supply Modelling for Agglomeration without Transportation Model
Random Flow Generation Technique for Civil Aircraft Jet Simulations with the ZDES Approach
Model Checking for Verification in UAV Cooperative Control Applications
Laser Remote Process Technology on Automotive Manufacture