Modelling and Validating an Automotive System in Classical B and Event-B.

Michael Leuschel Mareike Mutz Michelle Werth

Published in: ABZ (2020)

Keyphrases

event detection
news articles
event sequences
database
real time
neural network
case study
database systems
objective function
digital libraries
video data
event driven
event recognition
classical methods
temporal structure
abnormal events