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