Formal Analysis of Aviation Incidents.

Tibor Bosse Nataliya M. Mogles

Published in: IEA/AIE (2012)

Keyphrases

formal analysis
formal methods
aviation safety
terrorist attacks
agent model
ban logic
hot spots
real time
data model
machine learning
software engineering
distributed systems
fine grained