Login / Signup
Un outil de construction de spécifications abstraites Event-B dirigée par les buts.
Abderrahman Matoussi
Régine Laleau
Published in:
Ingénierie des Systèmes d Inf. (2011)
Keyphrases
</>
event detection
construction process
case study
artificial intelligence
spatio temporal
database
decision making
metadata
multiscale
data structure
news stories
event driven
event recognition
complex events
real world events
construction industry