Sandip Ray – författare

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

Digital Twins for Distributed IoT Applications

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification