¿¬±¸¼¾ÅÍ
ERC

 
ROSAEC
Research On
Software Analysis
for Error-free
Computing Center
 
   
¼ÒÇÁÆ®¿þ¾î¹«°áÁ¡¿¬±¸¼¾ÅÍ
Research On Software Analysis for Error-free Computing Center
ÁÖ°ü¿¬±¸±â°ü : ¼­¿ï´ëÇб³ ÁÖ°ü¿¬±¸Ã¥ÀÓÀÚ : À̱¤±Ù
ÁÖ ¼Ò      
¼­¿ï½Ã °ü¾Ç±¸ °ü¾Ç·Î 599 ¼­¿ï´ëÇб³ 138µ¿ 202È£
Àü È­ 02-880-1528 ÆÑ ½º 02-882-7234
ȨÆäÀÌÁö http://rosaec.snu.ac.kr e-mail admin@rosaec.snu.ac.kr
 
 
¼¾ÅͼҰ³
 

º» ¼¾ÅÍ´Â SW ºÐ¾ßÀÇ ±Ùº»ÀûÀÎ ¹®Á¦ÀÎ SWÀÇ ¿À·ù¸¦ ÀÚµ¿À¸·Î °ËÃâ ÇÏ°í °ËÁõ ÇÏ´Â ¿øõ ±â¼ú¿¡ ´ëÇÑ ¿¬±¸¸¦ ÁøÇà ÁßÀÌ´Ù. ¼ÒÇÁÆ®¿þ¾îÀÇ ¿À·ù ¶§¹®¿¡ ¹ß»ýÇÏ´Â °³ÀÎ, ±â¾÷, ±¹°¡, »çȸÀû ºñ¿ëÀ» Àý°¨½ÃÄÑ ÁÙ ¼ö ÀÖ´Â ±â¼ú °³¹ßÀ» ¸ñÇ¥·Î ½Ç¿ë±â¼úÀ» ¼±µµÇÏ°í °íºÎ°¡ »ê¾÷âÃâÀÇ ¿øµ¿·Â ¼¾ÅÍ°¡ µÇ°íÀÚ ¼³¸³µÇ¾ú´Ù.

 
Âü ¿© ¿¬ ±¸ Áø
 
¼º ¸í ¼Ò ¼Ó °úÁ¦±¸ºÐ ¿¬¶ôó À̸ÞÀÏ
À̱¤±Ù ¼­¿ï´ëÇб³ 1ÃÑ°ýÃ¥ÀÓÀÚ    
¹éÀ±Èï ¼­¿ï´ëÇб³ 1ÃÑ°ý 1¼¼ºÎÃ¥ÀÓÀÚ
À̱¤±Ù ¼­¿ï´ëÇб³ 1ÃÑ°ý 2¼¼ºÎÃ¥ÀÓÀÚ
µµ°æ±¸ ÇѾç´ëÇб³ 1ÃÑ°ý 3¼¼ºÎÃ¥ÀÓÀÚ
ÃÖ±¤¹« KAIST 2ÃÑ°ýÃ¥ÀÓÀÚ    
¿°Ç念 ¼­¿ï´ëÇб³ 2ÃÑ°ý 1¼¼ºÎÃ¥ÀÓÀÚ
¹®º´·Î ¼­¿ï´ëÇб³ 2ÃÑ°ý 2¼¼ºÎÃ¥ÀÓÀÚ
¹ÚÁ¾¿ì ¼­¿ï´ëÇб³ 2ÃÑ°ý 3¼¼ºÎÃ¥ÀÓÀÚ
ÃÖ±¤¹« KAIST 2ÃÑ°ý 4¼¼ºÎÃ¥ÀÓÀÚ
¹Ú¼º¿ì Æ÷Ç×°ø°ú´ë 3ÃÑ°ýÃ¥ÀÓÀÚ    
¹Ú¼º¿ì Æ÷Ç×°ø°ú´ë 3ÃÑ°ý 1¼¼ºÎÃ¥ÀÓÀÚ
±è¹®ÁÖ KAIST 3ÃÑ°ý 2¼¼ºÎÃ¥ÀÓÀÚ
Ȳ½Â¿ø Æ÷Ç×°ø°ú´ë 3ÃÑ°ý 3¼¼ºÎÃ¥ÀÓÀÚ
 





2012 ¨ÏCopyright SRC/ERC, All rights reserved.
¼­¿ïƯº°½Ã ¼­´ë¹®±¸ ¿¬¼¼·Î50, ¿¬¼¼´ëÇб³ »êÇÐÇùµ¿°ü 421È£ [ÃÊÁ¤¹Ð ±¤ ±â°è±â¼ú ¿¬±¸¼¾ÅÍ]
ÇàÁ¤ÆÀ  Tel: 02-2123-4807
2012 ¨ÏCopyright SRC/ERC, All rights reserved. E-mail: ncoms@yonsei.ac.kr
¼­¿ïƯº°½Ã µ¿ÀÛ±¸ Èæ¼®·Î 84, R&D°ü(102°ü) 502È£ [¸ÞŸ¸®¼ÁÅè Á¦¾î ¿¬±¸¼¾ÅÍ]
ÇàÁ¤ÆÀ  Tel: 02-820-6414
2012 ¨ÏCopyright SRC/ERC, All rights reserved. E-mail: eillis@cau.ac.kr