conf.researchr.org / Peter W. V. Tran-Jørgensen
Not registered as user yet
Name:Peter W. V. Tran-Jørgensen
Affiliation:Aarhus University
Contributions
| FormaliSE 2020 | Author of Security Verification of Industrial Control Systems using Partial Model Checking within the FormaliSE 2020-track |