Formally Verified Credentials Management for Industrial Control Systems

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

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

Konference

KonferenceFormaliSE 2021
LandSpanien
ByMadrid
Periode23/05/202124/05/2021
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

ID: 213886832