Modular Methods for Verification and Validation of Air Traffic Control Algorithms
Infotech@Aerospace 2012
01.01.2012
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|