Login / Signup
The Landing Gear Case Study in Hybrid Event-B.
Richard Banach
Published in:
ABZ (Case Study) (2014)
Keyphrases
</>
case study
database
lessons learned
development process
event driven
machine learning
event detection
real time
similarity measure
neural network
data mining
image sequences
mobile robot
business process
news articles
event recognition