Cyber-Physical Verification of Intermittently Powered Embedded Systems

Rose Bohrer, Bashima Islam. Cyber-Physical Verification of Intermittently Powered Embedded Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):4361-4372, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: