Login / Signup
CARTS: a tool for compositional analysis of real-time systems.
Linh T. X. Phan
Jaewoo Lee
Arvind Easwaran
Vinay Ramaswamy
Sanjian Chen
Insup Lee
Oleg Sokolsky
Published in:
SIGBED Rev. (2011)
Keyphrases
</>
real time systems
real time
artificial intelligence
architectural model
database systems
open source
analysis tool