Sandip Ray - Böcker

Satyajit Ray on Cinema

Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification

Internet of Things. A Confluence of Many Disciplines

Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

Internet of Things. A Confluence of Many Disciplines

Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Fundamentals of IP and SoC Security

Design, Verification, and Debug