Ç¥ÁØÈ­ Âü¿©¾È³»

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > 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 TTAK_[1].KO-11.0119.pdf            

ÀÌÀü
ÆÊŬ¶ó¿ìµå¿Í ½áµåÆÄƼ ÀÀ¿ë¼­ºñ½º °£ÀÇ ÀÎÅÍÆäÀ̽º
´ÙÀ½
½º¸¶Æ®¿Â½Ç¿ë ¿Â½Ç¿î¿µ½Ã½ºÅÛ°ú ºñ¼øȯ½Ä ¾ç¾×½Ã½ºÅÛ °£ Åë½Å ÇÁ·ÎÅäÄÝ