Login / Signup
Modelling an Aircraft Landing System in Event-B (Full Report).
Dominique Méry
Neeraj Kumar Singh
Published in:
CoRR (2014)
Keyphrases
</>
real time
artificial intelligence
event detection
database
databases
genetic algorithm
e learning
bayesian networks
news articles
air traffic control
condition action rules