
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