Ȩ > Ç¥ÁØÈ °³¿ä > 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 | ||||||||||||||
Ç¥ÁØÀÌ·Â |
|