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