Component-Based Design and Analysis: A Case Study

Yan Jin, Charles Lakos, Robert Esser. Component-Based Design and Analysis: A Case Study. In 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. pages 126, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.