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
–