| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Fundamentals of IP and SoC Security: Design, Verification, and Debug | Taschenbuch | 978-3-319-84308-7 | 2018 | Swarup Bhunia · Susmita Sur-Kolay | |
| Fundamentals of IP and SoC Security: Design, Verification, and Debug | Gebunden | 978-3-319-50055-3 | 2017 | Swarup Bhunia · Susmita Sur-Kolay | |
| Internet of Things. A Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - ... and Communication Technology , Band 574) | " | 978-3-030-43604-9 | 2020 | Augusto Casaca · Srinivas Katkoori · Leon Strous | |
| Scalable Techniques for Formal Verification | Hardcover | 978-1-4419-5997-3 | 2010 | ||
| Security Policy in System-on-Chip Designs: Specification, Implementation and Verification | Gebunden | 978-3-319-93463-1 | 2018 | Abhishek Basak · Swarup Bhunia | |
| Semiconductor Memories: Design, Modeling, Abstraction, and Verification | Hardcover | 978-1-4614-3060-5 | 2016 | Jayanta Bhadra | |