Modular Methods for Verification and Validation of Air Traffic Control Algorithms
Infotech@Aerospace 2012
2012-01-01
Conference paper
Electronic Resource
English
2012-2470 Modular Methods for Verification and Validation of Air Traffic Systems
British Library Conference Proceedings | 2012
|Verification and Validation for Modular Development Platforms
SAE Technical Papers | 2023
|Verification and Validation for Modular Development Platforms
British Library Conference Proceedings | 2023
|Validation of TMG Traffic Data Check Algorithms
Online Contents | 2013
|