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
Originalsprog Engelsk Titel FormaliSE@ICSE : 9th IEEE/ACM International Conference on Formal Methods in Software Engineering Antal sider 11 Forlag IEEE Udgivelsesår 2021 Sider 75-85 ISBN (trykt) 978-1-6654-2984-9 ISBN (Elektronisk) 978-1-6654-3913-8 DOI Status Udgivet - 2021 Begivenhed FormaliSE 2021: International Conference on Formal Methods in Software Engineering - Virtual, Madrid, Spanien Varighed: 22 maj 2021 → 30 maj 2021 https://www.formalise.org/
Konference FormaliSE 2021 Lokation Virtual Land Spanien By Madrid Periode 22/05/2021 → 30/05/2021 Internetadresse
Se relationer på Aarhus Universitet
Citationsformater
ID: 213886832
Institut for Datalogi
Aarhus Universitet
Åbogade 34
8200 Aarhus N
E-mail: cs@au.dk
Tlf: +45 8715 4112
Fax: +45 8715 4113
CVR-nr: 31119103
EAN-nr: 5798000419841
Stedkode: 7281