Differences
This shows you the differences between two versions of the page.
research:ic3i2016 [2016-12-20 02:54] – created david | research:ic3i2016 [2022-05-12 03:51] (current) – david | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Verification of Interactive Automated Air Traffic Control System in a Model Driven Approach ====== | ====== Verification of Interactive Automated Air Traffic Control System in a Model Driven Approach ====== | ||
+ | |||
+ | [[https:// | ||
Jnanamurthy HK, Henskens, F. A. and Paul, D. " | Jnanamurthy HK, Henskens, F. A. and Paul, D. " |