Login / Signup
Coordination of ECA Rules by Verification and Control.
Julio Cano
Gwenaël Delaval
Éric Rutten
Published in:
COORDINATION (2014)
Keyphrases
</>
eca rules
active database systems
active databases
model checking
object oriented