Ȩ > Ç¥ÁØÈ À§¿øȸ > °úÁ¦ÇöȲ
Áö´ÉÁ¤º¸±â¹Ý ±â¼úÀ§¿øȸ (TC010) | |||
---|---|---|---|
°úÁ¦¹øÈ£ | 2019-1270 | ÃʾȹøÈ£ | 2019-1270-01 |
±â¼úÀ§ ÄÚµå | TC010 | ÇÁ·ÎÁ§Æ® ÄÚµå | PG1006 |
»ç¹«±¹´ã´çÀÚ | ÀÌÀÎ¼Û (TTA) | ||
ÁÖ ¿¡µðÅÍ | ÃÖÀ±Ã¶ (Çѱ¹ÀüÀÚÅë½Å¿¬±¸¿ø) | ||
±¹¹®°úÁ¦¸í | ½º¸¶Æ® °è¾à Á¤Çü °ËÁõÀ» À§ÇÑ ÇÁ·¹ÀÓ¿öÅ© | ||
¿µ¹®°úÁ¦¸í | Framework for formal verification of smart contract | ||
°úÁ¦±¸ºÐ | ÀϹݰúÁ¦ | IPR À¯¹« | N |
Á¦¾È±â°ü | Çѱ¹ÀüÀÚÅë½Å¿¬±¸¿ø | Á¦¾ÈÀÏÀÚ | 2019-07-31 |
Á¦/°³Á¤/ÆóÁö | Á¦Á¤ | ±¹/¿µ¹® | ±¹¹® |
Ç¥ÁعøÈ£ |
ÃßÁø´Ü°è | ÃßÁøó¸®ÀÏ | °ü·ÃȸÀǸí | ÃßÁø³»¿ª/°á°ú |
---|---|---|---|
°úÁ¦Ã¤Åà | 2019-09-04 | Á¦111Â÷ ¿î¿µÀ§¿øȸ | |
ÃʾÈÀÛ¼ºÁß | 2020-05-20 | PG1006 2020-1Â÷ ȸÀÇ | |
ÃʾÈÀÛ¼ºÁß | 2020-06-11 | PG1006 Á¦9Â÷(2020-3) Á¤±âȸÀÇ |