• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â

»çÀÌÆ®¸Ê

Loading..

Please wait....

Çмú´ëȸ ÇÁ·Î½Ãµù

Ȩ Ȩ > ¿¬±¸¹®Çå > Çмú´ëȸ ÇÁ·Î½Ãµù > Çѱ¹Á¤º¸°úÇÐȸ Çмú´ëȸ > 2009³â Ãß°è Çмú´ëȸ

2009³â Ãß°è Çмú´ëȸ

Current Result Document : 1 / 1

ÇѱÛÁ¦¸ñ(Korean Title) ±¸Á¶Àû ÀÌ»ó Çö»óÀ» À§ÇÑ FOL ±â¹ÝÀÇ ºñÁî´Ï½º ÇÁ·Î¼¼½º °ËÁõ
¿µ¹®Á¦¸ñ(English Title) FOL-based Business Process Verification for Structural Process Anomalies
ÀúÀÚ(Author) ±è°Ç¿ì   À̽ÂÈÆ   ¼­Çý¸í   ¼ÕÁøÇö   Gun-Woo KimO   Seung Hoon Lee   Hyemyung Seo   Jin Hyun Son  
¿ø¹®¼ö·Ïó(Citation) VOL 36 NO. 2(A) PP. 0092 ~ 0093 (2009. 11)
Çѱ۳»¿ë
(Korean Abstract)
¿µ¹®³»¿ë
(English Abstract)
Å°¿öµå(Keyword)
ÆÄÀÏ÷ºÎ PDF ´Ù¿î·Îµå