Login / Signup
On composing and proving the correctness of reactive behavior.
David Harel
Amir Kantor
Guy Katz
Assaf Marron
Lior Mizrahi
Gera 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