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

OriginalsprogEngelsk
TitelFormaliSE@ICSE
StatusAccepteret/In press - 2021
BegivenhedFormaliSE 2021: International Conference on Formal Methods in Software Engineering - Madrid, Spanien
Varighed: 23 maj 2021 → 24 maj 2021
https://www.formalise.org/

Konference

KonferenceFormaliSE 2021
LandSpanien
ByMadrid
Periode23/05/2021 → 24/05/2021
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

ID: 213886832