NexusForum.EU Wiki

InstitutionDoi/871

Revision as of 10:33, 28 May 2026 by import>Unknown user
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Title Firmware Secure Updates meet Formal Verification
DOI https://doi.org/10.1145/3754455
Raw Affiliation Università degli Studi di Trento, Trento, Italy
Clean Page Target Università degli Studi di Trento, Trento, Italy
Retrieved from "https://wiki.eucloudedgeiot.eu/index.php?title=InstitutionDoi/871&oldid=8845"