Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers

MLA

Dominik Stoffel, et al. “Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.” 2020 23rd Euromicro Conference on Digital System Design (DSD), Aug. 2020. EBSCOhost, https://doi.org/10.1109/dsd51259.2020.00028.

APA

Dominik Stoffel, Thomas Fehmel, Wolfgang Kunz, & Viet-Tan Nguyen. (2020). Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers. 2020 23rd Euromicro Conference on Digital System Design (DSD). https://doi.org/10.1109/dsd51259.2020.00028

Chicago

Dominik Stoffel, Thomas Fehmel, Wolfgang Kunz, and Viet-Tan Nguyen. 2020. “Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.” 2020 23rd Euromicro Conference on Digital System Design (DSD), August. doi:10.1109/dsd51259.2020.00028.