Login / Signup

On composing and proving the correctness of reactive behavior.

David HarelAmir KantorGuy KatzAssaf MarronLior MizrahiGera Weiss
Published in: EMSOFT (2013)
Keyphrases
  • reactive behavior
  • active databases
  • real time databases
  • management system
  • real time
  • databases
  • information systems
  • software engineering
  • response time
  • software systems
  • timing constraints