Linking Modelling in Event-B with Safety Cases.

Yuliya Prokhorova Elena Troubitsyna

Published in: SERENE (2012)

Keyphrases

databases
event detection
computer vision
decision making
e learning
information extraction
monitoring system
event driven
event recognition
video event