Formally Verified Credentials Management for Industrial Control Systems

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFormaliSE@ICSE
Publication statusAccepted/In press - 2021
EventFormaliSE 2021: International Conference on Formal Methods in Software Engineering - Madrid, Spain
Duration: 23 May 202124 May 2021
https://www.formalise.org/

Conference

ConferenceFormaliSE 2021
LandSpain
ByMadrid
Periode23/05/202124/05/2021
Internetadresse

See relations at Aarhus University Citationformats

ID: 213886832