Login / Signup

Verifying Broperties of Systems with Variable Timing Constraints.

Farnam Jahanian
Published in: RTSS (1989)
Keyphrases
  • real time systems
  • timing constraints
  • management system
  • real time databases
  • real time
  • database systems
  • model checking