Login / Signup

Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).

Neda SaeedloeiGopal Gupta
Published in: LATA (2010)
Keyphrases
  • real time systems
  • real time
  • distributed systems
  • embedded systems
  • mission critical
  • database
  • case study
  • computer science
  • low cost
  • business processes
  • real time database systems