Login / Signup

CARTS: a tool for compositional analysis of real-time systems.

Linh T. X. PhanJaewoo LeeArvind EaswaranVinay RamaswamySanjian ChenInsup LeeOleg Sokolsky
Published in: SIGBED Rev. (2011)
Keyphrases
  • real time systems
  • real time
  • artificial intelligence
  • architectural model
  • database systems
  • open source
  • analysis tool