2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 68 citations · 0 references
ComputingAerospace EngineeringComputer ScienceArtificial IntelligenceFormal MethodsUnmanned Aircraft SystemsAirspace IntegrationAlerting SystemsSense-and-avoid SystemsSituation AwarenessAlertingAlerting LogicInteractive Theorem ProvingMathematical NotationMathematical Notation DevelopmentMinimum Performance StandardsSituation Awareness In AviationUnmanned Aircraft Systems Integration
This article consists of a collection of slides from the author's conference presentation.