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]
@article{BohrerI22, title = {Cyber-Physical Verification of Intermittently Powered Embedded Systems}, author = {Rose Bohrer and Bashima Islam}, year = {2022}, doi = {10.1109/TCAD.2022.3197541}, url = {https://doi.org/10.1109/TCAD.2022.3197541}, researchr = {https://researchr.org/publication/BohrerI22}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {41}, number = {11}, pages = {4361-4372}, }