Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020

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