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

TTAÀÇ Ç¥ÁØÇöȲ

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

Ç¥ÁعøÈ£ TTAE.IT-Z500 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2006-12-27 ÃÑÆäÀÌÁö 70
ÇѱÛÇ¥Áظí Çü½Ä±â¼ú±â¹ý¿¡ ÀÇÇÑ ÀûÇÕ¼º(FMCT) ½ÃÇè ü°è
¿µ¹®Ç¥Áظí Framework on Formal Methods in Conformance Testing
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº Åë½Å ÇÁ·ÎÅäÄÝ ¶Ç´Â ¼­ºñ½ºÀÇ ±Ô°ÝÀ» À§ÇØ Çü½Ä±â¼ú±â¹ýµéÀ» »ç¿ëÇÏ¿© ÀûÇÕ¼ºÀÇ Àǹ̸¦ Á¤ÀÇÇÏ°í ÀÖ´Ù.
¿µ¹®³»¿ë¿ä¾à This Standard defines the meaning of conformance if formal methods are used for the specification of a communication protocol or service.
±¹Á¦Ç¥ÁØ ITU-T Z.500
°ü·ÃÆÄÀÏ TTAE_IT-Z500.zip TTAE_IT-Z500.zip            
Ç¥ÁØÀÌ·Â
±¸ºÐ ÀÏÀÚ Ç¥ÁعøÈ£ º¯°æ³»¿ª
Á¦Á¤ 1998-11-25 TTAS.IT-Z500
°³Á¤ 2006-12-27 TTAE.IT-Z500

ÀÌÀü
ÃË°¢»óÈ£ÀÛ¿ë ¸ÞŸ µ¥ÀÌÅÍ
´ÙÀ½
64ºñÆ® ºí·Ï¾ÏÈ£ HIGHT