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 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.