Login / Signup

Coordination of ECA Rules by Verification and Control.

Julio CanoGwenaël DelavalÉric Rutten
Published in: COORDINATION (2014)
Keyphrases
  • eca rules
  • active database systems
  • active databases
  • model checking
  • object oriented