Specification and Proof of Liveness Properties in B Event Systems.

Olfa Mosbahi Jacques Jaray

Published in: ICSOFT (SE) (2007)

Keyphrases

management system
databases
learning algorithm
high level
expert systems
intelligent systems
news articles
desirable properties
data sets
multi agent
hidden markov models
event detection
formal specification
asynchronous circuits
desirable characteristics
imperative programs