Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains
Development of a Language Model for Named-Entity-Recognition in Aerospace Requirements
Simulation of Water Spray Generated by Pneumatic Aircraft Tire on Flooded Runway
Decreasing Effectiveness of Chine Tire on Contaminated Runway at High Taxiing Speed
Numerical Simulation of Aircraft Tire-Generated Spray and Engine Ingestion on Flooded Runways
Application of Dempster–Shafer Networks to a Real-Time Unmanned Systems Risk Analysis Framework
Certification and Software Verification Considerations for Autonomous Unmanned Aircraft