Not registered as user yet
Name:Peter W. V. Tran-Jørgensen
Affiliation:Aarhus University
Contributions
FormaliSE 2020 | Security Verification of Industrial Control Systems using Partial Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile