Ȩ > ÀڷḶ´ç > ÀÚ·á°Ë»ö > Ç¥ÁØ
ÀÚ·á °Ë»ö°á°ú
Ç¥ÁØÁ¾·ù | Á¤º¸Åë½Å´ÜüǥÁØ(TTAS) | |||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Ç¥ÁعøÈ£ | 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. | |||||||||||||||||||||||
°ü·Ã IPR È®¾à¼ | Á¢¼öµÈ IPR È®¾à¼ ¾øÀ½ | |||||||||||||||||||||||
°ü·ÃÆÄÀÏ |
![]() |
|||||||||||||||||||||||
Ç¥ÁØÀÌ·Â |
|
|||||||||||||||||||||||
Ç¥ÁØÀ¯Áöº¸¼öÀÌ·Â |
|