Controlled composition and abstraction for bottom-up integration and verification of abstract components

• Yunja Choi ^[1] ; Moonzoo Kim ^[2]
  1. [1] Kyungpook National University

     Kyungpook National University

     Corea del Sur

     
  2. [2] Department of Computer Science, KAIST School of Computing, Daejeon, Republic of Korea
• Localización: Information and software technology, ISSN 0950-5849, Vol. 54, Nº 1, 2012, págs. 119-136
• Idioma: inglés
• Enlaces
  • Texto completo