Login / Signup
A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems.
Alessandro Petriccone
Giordano Pola
Maria Domenica Di Benedetto
Elena De Santis
Published in:
CDC (2010)
Keyphrases
</>
safety critical
complexity reduction
management system
air traffic
formal methods
civil aviation
fault tolerant
image coding
agent architecture
fractal image compression
database management systems
support systems
embedded systems
computational complexity
decision support
vector quantization