Composing Event Constraints in State-Based Specification.

Tommaso Bolognesi

Published in: FORTE (2004)

Keyphrases

learning objects
state space
formal verification
dynamic constraints
data mining
constraint satisfaction
real time
neural network
high level
database systems
reinforcement learning
constraint programming
constrained optimization
formal specification
event driven
constraint language