Modeling an Aircraft Landing System in Event-B.

Dominique Méry Neeraj Kumar Singh

Published in: ABZ (Case Study) (2014)

Keyphrases

event detection
event driven
real time
databases
neural network
computer vision
metadata
data structure
news articles
modeling language
event recognition
air traffic control
civil aviation