Pliant Modalities in Hybrid Event-B.

Published in: Theories of Programming and Formal Methods (2013)

Keyphrases

multiscale
spatio temporal
event processing
database
real world
evolutionary algorithm
event detection
hybrid learning
event logs