Ç¥ÁØÈ­ Âü¿©¾È³»

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ

Ç¥ÁعøÈ£ TTAK.KO-11.0141/R1 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2014-12-17 ÃÑÆäÀÌÁö 7
ÇѱÛÇ¥ÁØ¸í »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±â ¿ä±¸»çÇ×
¿µ¹®Ç¥Áظí Requirements of Distributed Formal Verifiers for CPS Model Verification
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº ÁÖ¿ä ³»¿ëÀ¸·Î´Â »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ÀÇ Á¤Çü °ËÁõ °³¿ä¿Í ´ë±Ô¸ð ÇÏÀ̺긮µå »çÀ̹ö-¹°¸® ½Ã½ºÅÛ(CPS) ¸ðµ¨ °ËÁõÀ» À§ÇÑ ºÐ»êÇü Á¤Çü °ËÁõ±âÀÇ ±â¼úÀû ¿ä±¸ »çÇ×À» Æ÷ÇÔÇÑ´Ù.
¿µ¹®³»¿ë¿ä¾à This standard includes an overview of the formal verification process of CPS models and the technical requirements of distributed formal verifiers for verification of large-scale hybrid CPS models.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAK.KO-11.0141_R1.pdf TTAK.KO-11.0141_R1.pdf            

ÀÌÀü
IMT-2000 3GPP2 -HRPD ¸Á Á¢¼Ó±Ô°ÝÀ» À§ÇÑ »óÈ£¿î¿ë ±Ô°Ý (Release B)
´ÙÀ½
IMT-2000 3GPP2 - ÆÐŶ Á¶Á¤ ±â´É»ó¿¡¼­ÀÇ ¼¼¼Ç Á¶Á¤±â´ÉÀ» °®´Â HRPD ¹«¼± Á¢¼Ó ³×Æ®¿÷ ÀÎÅÍÆäÀ̽º¸¦ À§ÇÑ »óÈ£¿î¿ë ±Ô°Ý (Release A)