Digital Library[ Search Result ]

Search : "[ keyword: CBD ]" (21)
A Proposal for Component Formal Specification Activities Using Z
Jong Pyo Jang  Sang Jun Lee  Byung Ki Kim
Vol. 8, No. 1, pp. 99-104, Feb. 2001
10.3745/KIPSTD.2001.8.1.99

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals