Login / Signup
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.
John Hatcliff
Xianghua Deng
Matthew B. Dwyer
Georg Jung
Venkatesh Prasad Ranganath
Published in:
ICSE (2003)
Keyphrases
</>
statistical analysis
knowledge based systems
computer systems
real time
expert systems
distributed systems
learning systems
case study
data analysis
management system
computing systems
future development
mobile robot
software engineering
complex systems
historical perspective