Validation of Origin–Destination Data from Bluetooth Reidentification and Aerial Observation
Fault Tolerant Space Processor: System Reliability Demonstration for Long-Term Space Missions
Understanding Model and Code Behavior for Stateflow Constructs (AAS 13-031)