Dino Mandrioli
Personal Web Site
Dino
Mandrioli, professor
Dipartimento
di Elettronica e Informazione
Politecnico
di Milano
Piazza
Leonardo Da Vinci 32
20133
Milano Italy
Tel.
39-02-2399-3522
Fax. 39-02-2399-3411
email:mandrioli@elet.polimi.it
To:
Fundamentals of Software
engineering
Safety-critical Systems: the TRIO research
PhD Thesis
Proposal in the field of Formal Methods
UIC master
course: Formal methods for concurrent and real-time systems
The ICSE09 Student COntest on softwaRe
Engineering (SCORE)
The ICSE11 Student COntest on softwaRe
Engineering (SCORE 2011)