Jalil Boudjadar - RoSE 2021

Wed 2 Jun 2021

co-located with ICSE 2021

Registered user since Mon 30 Sep 2024

Name:Jalil Boudjadar

Country:Denmark

Affiliation:Aarhus University

Contributions

2021

FormaliSE

Formally Verified Credentials Management for Industrial Control Systems

Show activities from other conferences

ICSE 2021-profile
View general profile