Registered user since Mon 12 Mar 2018
Name: Claudio Menghi
Affiliation: University of Luxembourg
Personal website: https://claudiomenghi.github.io/
Contributions
| ICSE 2021 | Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile