An Operational Component Specification Method.

Hyung-Ho Kim, Doo-Hwan Bae, Dong Kwan Kim, Hyo Taeg Jung, Yun Dae Chung

Browse the full APSEC paper archive.