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 | Author of Designing Resilient Large Scaled CPS: Models, Languages and Tools within the OPCT 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile