JAVA Implementation of CCM Configuration Shufeng Li MSE final Project Presentation I.
Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems
Http://cadena.projects.cis.ksu.edu SAnToS Laboratory, Kansas State University, USA Cadena: Analyzing Component- based Embedded System Designs Matthew Dwyer.
Analyzing Component-based Designs: The Cadena Environment SAnToS Laboratory, Kansas State University, USA Matt Dwyer John.