Ȩ > Ç¥ÁØÈ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ
Ç¥ÁعøÈ£ | TTAK.KO-11.0119 | ±¸Ç¥ÁعøÈ£ | |
---|---|---|---|
Á¦°³Á¤ÀÏ | 2011-12-21 | ÃÑÆäÀÌÁö | 5 |
ÇѱÛÇ¥Áظí | CPS ¸ðµ¨ °ËÁõÀ» À§ÇÑ ½Ã¹Ä·¹ÀÌ¼Ç ¿£Áø ¿ä±¸»çÇ× | ||
¿µ¹®Ç¥Áظí | The Requirements of the Simulation Engine for Verifying Cyber-Physical System Models | ||
Çѱ۳»¿ë¿ä¾à | ÁÖ¿ä ³»¿ëÀ¸·Î´Â ¸ðµ¨ ±â¹ÝÀ¸·Î ¼³°èµÈ CPS ¸ðµ¨ °ËÁõÀ» À§ÇÑ ½Ã¹Ä·¹ÀÌ¼Ç ¿£Áø °³¹ßÀ» Áö¿øÇϱâ À§ÇÏ¿© ÇÊ¿äÇÑ ±â´ÉµéÀ» ¼³¸íÇÑ´Ù. | ||
¿µ¹®³»¿ë¿ä¾à | The main context includes the feature explanation of the simulation engine for verifying the model based design of the cyber-physical systems. | ||
±¹Á¦Ç¥ÁØ | |||
°ü·ÃÆÄÀÏ | TTAK_[1].KO-11.0119.pdf |