An Integrated Metamodel and its Formal Specification in Z for Component Architecture

  • BAIK, Doo Kwon
제목
An Integrated Metamodel and its Formal Specification in Z for Component Architecture
저자
BAIK, Doo Kwon
학회명
ACIS