On Deducing Timing Constraints in the Verification of Interfaces.
Farhad MavaddatT. GahlingerPublished in: Formal Methods Syst. Des. (1998)
Keyphrases
- timing constraints
- real time databases
- real time systems
- embedded devices
- real time database systems
- execution model
- concurrency control
- active databases
- resource constraints
- real time
- model checking
- security requirements
- transaction processing
- embedded systems
- database systems
- databases
- active rules
- data storage
- nearest neighbor