Modeling a landing gear system in Event-B.

Amel Mammar Régine Laleau

Published in: Int. J. Softw. Tools Technol. Transf. (2017)

Keyphrases

event detection
data sets
data mining
social networks
event driven
machine learning
information systems
decision trees
three dimensional
fuzzy logic