next up previous contents
Next: Object-Z Up: Survey of Courses per Previous: JML   Contents

MSC

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
TOV04 Testing and Verification Aalborg K.G. Larsen MC , MSC , PV , TFM , UPPAAL
next up previous contents
Next: Object-Z Up: Survey of Courses per Previous: JML   Contents
2004-11-04