EVENT & NEWS : 
GRACE Symposium on Security, Safety and Dependability for Software Engineering
Date: 16 April, 2008
Time: 13:30-17:30
Place: Conference Room(1208) on 12F, NII
Fee: Free
Contact: event-info _AT_ grace-center.jp
Contact: GRACE Center Event Query : event-info@grace-center.jp
SEARCH
Search by Words
CATEGORY
ARCHIVES
INFORMATION
Book Info
Top SE --- Practical Series [1]
Formatted Specifications
Description by Method B
Software system modeling and its verification (in Japanese)
Syndicate
