• 한국약용작물학회:학술대회논문집
• /
• 2007.05a
• /
• pp.99-100
• /
• 2007

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2005.05a
• /
• pp.239-247
• /
• 2005

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.116-118
• /
• 1998

본 논문에서 Holzmann이 제시한 커널 스케줄링 방식이 Liveness를 만족하지 못하며, 자원의 충돌이 일어남을 알제브라 ACSR-VP를 이용해서 확인하였고, SPIN과 LTL formula를 이용하여 검증하였다. 이것을 SPIN과 ACSR-VP를 이용하여하여 오류가 없는 새로운 모델을 제시하였다.

• Honam Mathematical Journal
• /
• v.27 no.2
• /
• pp.163-181
• /
• 2005

We study some properties of intuitionistic fuzzy equivalence relations. Also we introduce the concepts of intuitionistic fuzzy transitive closures and level sets of an intuitionistic fuzzy relation and we investigate some of their properties.

• Mycobiology
• /
• v.38 no.1
• /
• pp.62-64
• /
• 2010

The paper describes identification of new microlichen (Sculptolumina japonica) in South Korea. A detailed taxonomic description and comments are presented for the taxa studied. Lichen genus Sculptolumina is reported for the first time for this country.

• 한국생물공학회:학술대회논문집
• /
• 2003.10a
• /
• pp.793-793
• /
• 2003

• 한국생물공학회:학술대회논문집
• /
• 2005.04a
• /
• pp.554-554
• /
• 2005

• 한국생물공학회:학술대회논문집
• /
• 2005.04a
• /
• pp.400-400
• /
• 2005

• Proceedings of the Korean Society of Soil Zoology Conference
• /
• 2001.10a
• /
• pp.20-20
• /
• 2001

No Abstract, See Full-text

• Journal of The Korean Astronomical Society
• /
• v.46 no.5
• /
• pp.201-201
• /
• 2013