
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