Semantic driven assurance for system engineering in SESAR/NextGen

Presents a collection of slides covering the following topics: NextGen; SESAR security support; ATM security; and SESAR development phase.