Aarhus University Seal / Aarhus Universitets segl

Formally Verified Credentials Management for Industrial Control Systems

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelFormaliSE@ICSE : 9th IEEE/ACM International Conference on Formal Methods in Software Engineering
Antal sider11
ForlagIEEE
Udgivelsesår2021
Sider75-85
ISBN (trykt)978-1-6654-2984-9
ISBN (Elektronisk)978-1-6654-3913-8
DOI
StatusUdgivet - 2021
BegivenhedFormaliSE 2021: International Conference on Formal Methods in Software Engineering - Virtual, Madrid, Spanien
Varighed: 22 maj 202130 maj 2021
https://www.formalise.org/

Konference

KonferenceFormaliSE 2021
LokationVirtual
LandSpanien
ByMadrid
Periode22/05/202130/05/2021
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 213886832