Korean | English

pISSN : 1598-849X / eISSN : 2383-9945

2020 KCI Impact Factor : 0.4
Home > Explore Content > All Issues > Article View
13 of 19

A Formal Specification and Checking Technique of Feature model using Z language

Journal of The Korea Society of Computer and Information
Abbr : JKSCI
2013, 18(1), pp.123-136
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

Chee-Yang Song 1 Eun-Sook Cho 2 Kim Chul Jin 3

1 경북대학교
2 서일대학
3 인하공업전문대학

등재

Statistics

icon 339 Viewed

Tools

icon Print this page

icon Download PDF

Search PDF

Close X