next up previous contents
Next: VDM++ Up: Survey of Courses per Previous: RSL   Contents

SDL

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
CO610 BSc 3 Distributed Systems Kent E.A. Boiten ELotos , Estelle , SDL
213520 Formal Methods for Software Engineering Twente E. Brinksma FSP , LTSA , PA , SDL , Z , ZEVES
next up previous contents
Next: VDM++ Up: Survey of Courses per Previous: RSL   Contents
2004-11-04