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

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ

Ç¥ÁعøÈ£ TTAE.IT-Y.3320 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2014-12-17 ÃÑÆäÀÌÁö 29
ÇѱÛÇ¥ÁØ¸í ¼ÒÇÁÆ®¿þ¾î Á¤ÀÇ ³×Æ®¿öÅ·À» À§ÇÑ Á¤Çü ¸í¼¼ ±â¹ý ¿ä±¸»çÇ×
¿µ¹®Ç¥Áظí Requirements for applying formal methods to software-defined networking
Çѱ۳»¿ë¿ä¾à º» Ç¥ÁØÀº ¼ÒÇÁÆ®¿þ¾î Á¤ÀÇ ³×Æ®¿öÅ· (SDN, Software-defined networking) ±â¼ú¿¡¼­ SDN ÀÀ¿ë ¹× ½Ã½ºÅÛÀ» ±¸Çö, °³¹ß ¹× °ËÁõÇϱâ À§ÇÑ Á¤Çü ±â¹ýÀ» ±â¼úÇÏ°í, ÀÌ¿¡ µû¸¥ ±â´ÉÀû ¿ä±¸ »çÇ×À» Á¤ÀÇÇÑ´Ù.
¾Æ¿ï·¯ º» Ç¥ÁØ¿¡¼­´Â Á¤Çü ±â¹ýÀ» ÀÌ¿ëÇÑ SDN ÀÀ¿ë °ËÁõ ¿¹Á¦¸¦ ºÎ·ÏÀ¸·Î Á¦½ÃÇÑ´Ù
¿µ¹®³»¿ë¿ä¾à This standard describes requirements for using formal methods; mathematically-based techniques) to specify, develop, and verify software and hardware systems, in the context of software-defined networking (SDN) for Future Networks.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAE.IT-Y.3320_[1].pdf TTAE.IT-Y.3320_[1].pdf            

ÀÌÀü
±¤ ¼ÒÀÚ ¹× ¼­ºê½Ã½ºÅÛÀÇ Àü¼ÛƯ¼º
´ÙÀ½
ÀåÄ¡°ü¸® ±â´ÉÀÇ °øÅë ¿ä±¸»çÇ×