next up previous contents
Next: TRIO Up: Survey of Courses per Previous: NuSMV   Contents

RAISE tools

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
02262 S4-S7 Formal Aspects of Software Engineering I Lyngby A. Haxthausen RAISEtools , RSL
02268 S7-S9 Formal Aspects of Software Engineering II Lyngby D. Bjørner ASe , FS , RAISEtools , RSL

next up previous contents
Next: TRIO Up: Survey of Courses per Previous: NuSMV   Contents
2004-11-04