2035	SAVCBS 2004 : Specification and Verification of Component-Based Systems
마감일자	2004/08/15	국내/국외
홈페이지	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 Important dates: -Submission deadline: August 15, 2004 -Notification date: September 15, 2004 -Final versions: October 10, 2004

사이트맵

연구문헌