Registered user since Mon 17 Nov 2014
Name:Michele Loreti
Country:Italy
Affiliation:University of Camerino
Personal website:http://www.micheleloreti.com
Research interests:Formal Methods, Performance Analysis, Collective Adaptive Systems, Programming Languages
Contributions
| OPCT 2019 | Designing Resilient Large Scaled CPS: Models, Languages and Tools | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile