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 |