next up previous contents
Next: Z/EVES Up: Survey of Courses per Previous: RAISE tools   Contents

TRIO

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
4 Formal methods for concurrent and distributed systems Milan Poli. D. Mandrioli B , HL , Petri , RefB , TL , TRIO
4/5 Industrial automation II Milan Poli. L. Mezzalira Petri , TRIO

next up previous contents
Next: Z/EVES Up: Survey of Courses per Previous: RAISE tools   Contents
2004-11-04