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

