Permanent link
https://doi.org/10.3929/ethz-b-000508223Publication status
publishedExternal links
Journal / series
ACM Transactions on Embedded Computing SystemsVolume
Pages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Power sequencing; board management controller; reliable firmware; declarative specificationOrganisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy
Notes
Conference lecture on October 12, 2021.More
Show all metadata