Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021

Not registered as user yet

Name: Enrico Viganò

Country: Luxembourg

Affiliation: University of Luxembourg

Contributions

ICSE 2021 Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
ThEodorE: a Trace Checker for CPS Properties
Show activities from other conferences

ICSE 2021-profile
View general profile