Skip to main content

Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach

Paper ID

SIDs-2013-04

Conference

SESAR Innovation Days

Year

2013

Theme

Safety

Project Name

WP-E project MAREA

Keywords:

Authors

Elena De Santis, Maria Domenica Di Benedetto, Davide Pezzuti, Giordano Pola, Luca Scarciolla and Mariken Everdij

DOI

Project Number

E.02.10

Abstract