Ȩ > ÀڷḶ´ç > ÀÚ·á°Ë»ö > Ç¥ÁØ
ÀÚ·á °Ë»ö°á°ú
Ç¥ÁØÁ¾·ù | Á¤º¸Åë½Å´ÜüǥÁØ(TTAS) | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Ç¥ÁعøÈ£ | TTAK.KO-11.0117 | ±¸ Ç¥ÁعøÈ£ | |||||||||||||||
Á¦°³Á¤ÀÏ | 2011-12-21 | ÃÑ ÆäÀÌÁö | 7 | ||||||||||||||
ÇÑ±Û Ç¥Áظí | CPS ½Ã½ºÅÛÀÇ ¸ðµ¨ °Ë»ç±â ÂüÁ¶ ¸ðµ¨ | ||||||||||||||||
¿µ¹® Ç¥Áظí | Reference Model for Model Checkers of CPS Systems | ||||||||||||||||
ÇÑ±Û ³»¿ë¿ä¾à | ÁÖ¿ä ³»¿ëÀ¸·Î´Â CPS ÅëÇÕ ¸ðµ¨ °Ë»ç±âÀÇ ±â¼úÀû ¿ä±¸ »çÇ×À» Á¦½ÃÇϸç, À̸¦ ¹ÙÅÁÀ¸·Î CPS ¸ðµ¨ °Ë»ç±â¸¦ °³¹ßÇϴµ¥ »ç¿ëÇÒ ¼ö ÀÖ´Â ÂüÁ¶ ¸ðµ¨À» Á¦½ÃÇÑ´Ù. | ||||||||||||||||
¿µ¹® ³»¿ë¿ä¾à | This standard includes technical requirements for model checkers of CPS integrated models, and a reference model for the development of CPS model checkers, derived from the requirements. | ||||||||||||||||
°ü·Ã IPR È®¾à¼ | Á¢¼öµÈ IPR È®¾à¼ ¾øÀ½ | ||||||||||||||||
°ü·ÃÆÄÀÏ | TTAK.KO-11.0117.pdf | ||||||||||||||||
Ç¥ÁØÀÌ·Â |
|
||||||||||||||||
Ç¥ÁØÀ¯Áöº¸¼öÀÌ·Â |
|