research:ic3i2016

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:ic3i2016 [2016-12-20 02:54] – created davidresearch: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://doi.org/10.1109/IC3I.2016.7918799|Download]]
  
 Jnanamurthy HK, Henskens, F. A. and Paul, D. "Verification of Interactive Automated Air Traffic Control System in a Model Driven Approach", 2nd International Conference on Contemporary Computing and Informatics (IC3I 2016), December 2016. Jnanamurthy HK, Henskens, F. A. and Paul, D. "Verification of Interactive Automated Air Traffic Control System in a Model Driven Approach", 2nd International Conference on Contemporary Computing and Informatics (IC3I 2016), December 2016.
  • research/ic3i2016.1482202488.txt.gz
  • Last modified: 2016-12-20 02:54
  • by david