|
|
|
¸ð¹ÙÀÏ ¹Ìµð¾î ¿¬±¸½Ç
{ÀÚ¼¼È÷ º¸±â}
{http://woorisol.knu.ac.kr}
±è»ó¿í ±³¼ö´Ô
°ø´ë13È£°ü 402È£
ÄÄÇ»ÅÍ ¾ð¾î ¹× ÄÄÆÄÀÏ·¯/À̵¿ ¸ÖƼ¹Ìµð¾î ½Ã½ºÅÛ/¸ÖƼ¹Ìµð¾î ÄÁÅÙÃ÷/Àΰ£°ú ÄÄÇ»ÅÍ »óÈ£ÀÛ¿ë
Mobile Media Laboratory
|
|
¼ÒÇÁÆ®¿þ¾î ¾ÈÀü°øÇÐ ¿¬±¸½Ç
{ÀÚ¼¼È÷ º¸±â}
{http://sselab.knu.ac.kr/}
ÃÖÀ±ÀÚ ±³¼ö´Ô
°ø´ë11È£°ü 307È£
¼ÒÇÁÆ®¿þ¾î Á¤ÇüºÐ¼®(Formal Analysis)
¼ÒÇÁÆ®¿þ¾î ¾ÈÀü°øÇÐ(Software Safety Engineering)
Software Safety Engineering Lab.
|
°âÀÓ ±³¼ö
±³¾çÀü»êÇкÎ
Çùµ¿°úÁ¤ Á¤º¸Åë½ÅÇаú
|
ÄÄÇ»ÅÍ ½Ã½ºÅÛ ¿¬±¸½Ç
{http://cslab.knu.ac.kr}
¼´ëÈ ±³¼ö´Ô
°ø´ë10È£°ü 306
ºÐ»êº´·Äó¸®/½Åȣó¸®/¿î¿µÃ¼Á¦
Mobile Computing & Embedded System Laboratory
|
|
¸ÖƼ¹Ìµð¾î Ä¿¹Â´ÏÄÉÀÌ¼Ç ¿¬±¸½Ç
À±º´ÁÖ ±³¼ö´Ô
°ø´ë11È£°ü 607
ÀüÀÚ°øÇÐ/½Åȣó¸®
Multimedia Communications Laboratory
|
|