A domain-specific language to design false data injection tests for air traffic control systems

Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux. A domain-specific language to design false data injection tests for air traffic control systems. STTT, 24(2):127-158, 2022. [doi]

Abstract

Abstract is missing.