Using complementary models-based approaches for representing and analysing ATM systems' variability

CĂ©lia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, S. Silvagni. Using complementary models-based approaches for representing and analysing ATM systems' variability. In Washington Yotto Ochieng, Francisco Javier Saez, editors, International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '12, London, United Kingdom, May 29-31, 2012. pages 146-157, IRIT Press Toulouse, France / ACM DL, 2012. [doi]

Abstract

Abstract is missing.