• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â
Loading..

Please wait....

´ëȸ¾È³»

Ȩ Ȩ > ¾Ë¸²¸¶´ç > ´ëȸ¾È³»
2787 SAVCBS 2004 : Specification and Verification of Component-Based Systems
°³ÃÖÀÏÀÚ 2004/10/31-11/01 ±¹³»/±¹¿Ü
ȨÆäÀÌÁö http://www.cs.iastate.edu/~leavens/SAVCBS/2004/index.shtml Àå ¼Ò

SAVCBS 2004 : Specification and Verification of Component-Based Systems

October 31 - November 1, 2004

Newport Beach, California, USA