Login / Signup
Alessandro Petriccone
Publication Activity (10 Years)
Years Active: 2010-2012
Publications (10 Years): 0
Top Topics
Low Cost
Statistical Analysis
Air Traffic
Management System
Top Venues
ADHS
</>
Publications
</>
Alessandro Petriccone
,
Giordano Pola
,
Maria Domenica Di Benedetto
,
Elena De Santis
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation.
ADHS
(2012)
Alessandro Petriccone
,
Giordano Pola
,
Maria Domenica Di Benedetto
,
Elena De Santis
A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems.
CDC
(2010)