Documents Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems

Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems http://www.cis.ksu.edu/cadena SAnToS Laboratory, Kansas State University, USA Matt…