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

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            

ÀÌÀü
No.7 ½ÅÈ£¹æ½Ä-¹®´ä󸮱â´ÉºÎ Æ÷¸Ë ¹× ºÎȣȭ
´ÙÀ½
ÀÎÅÍ³Ý Æѽùи®: Æѽùи® ¹®¼­ÀÇ Åë½Å Áö¿øÀ» À§ÇÑ °¡À̵å¶óÀÎ