Login / Signup

Automatic Derivation of Timing Constraints by Failure Analysis.

Tomohiro YonedaTomoya KitaiChris J. Myers
Published in: CAV (2002)
Keyphrases
  • data analysis
  • database systems
  • software engineering
  • distributed systems
  • integrity constraints
  • vehicle routing problem
  • timing constraints