Institut for Datalogi

Aarhus University Seal / Aarhus Universitets segl
Du er her: » Formally Verified Credentials Management for Industrial C...

Formally Verified Credentials Management for Industrial Control Systems

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Dokumenter

Links

DOI

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 2021 → 30 maj 2021
https://www.formalise.org/

Konference

KonferenceFormaliSE 2021
LokationVirtual
LandSpanien
ByMadrid
Periode22/05/2021 → 30/05/2021
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 213886832