Sandip Ray – författare
Visar alla böcker från författaren Sandip Ray. Handla med fri frakt och snabb leverans.
15 produkter
Scalable Techniques for Formal Verification
Av Sandip Ray
Inbunden, 2010
1095 kr
Lägg i varukorg
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure …
Scalable Techniques for Formal Verification
Av Sandip Ray
E-bok, 2010
1459 kr
Lägg i varukorg
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure …
Scalable Techniques for Formal Verification
Av Sandip Ray
Häftad, 2014
1227 kr
Lägg i varukorg
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure …
Security Policy in System-on-Chip Designs
Specification, Implementation and Verification
Av Sandip Ray, Abhishek Basak m. fl.
Häftad, 2018
551 kr
Lägg i varukorg
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy …
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
Av Augusto Casaca, Srinivas Katkoori m. fl.
Inbunden, 2020
568 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019.The 11 full papers presented were carefully reviewed and selected from 22 submissions. Also …
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
Av Leon Strous, Sandip Ray m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions. Also …
Digital Twins for Distributed IoT Applications
Av Md Rafiul Kabir, Sandip Ray
Inbunden, 2026
962 kr
Lägg i varukorg
This book provides a comprehensive treatment of the concepts and applications of digital twins and related virtual prototyping technologies for a variety of distributed Internet-of-Things (IoT) applications. It can serve as a reference for practitioners to understand the scope and limitations of …
Digital Twins for Distributed IoT Applications
Av Sandip Ray, Md Rafiul Kabir
E-bok, 2026
1116 kr
Lägg i varukorg
This book provides a comprehensive treatment of the concepts and applications of digital twins and related virtual prototyping technologies for a variety of distributed Internet-of-Things (IoT) applications. It can serve as a reference for practitioners to understand the scope and limitations of …
Fundamentals of IP and SoC Security
Design, Verification, and Debug
Av Swarup Bhunia, Sandip Ray m. fl.
Inbunden, 2017
1422 kr
Lägg i varukorg
This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design choices to enforce and validate …
Fundamentals of IP and SoC Security
Design, Verification, and Debug
Av Susmita Sur-Kolay, Sandip Ray m. fl.
E-bok, 2017
1268 kr
Lägg i varukorg
This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design choices to enforce and validate …
Fundamentals of IP and SoC Security
Design, Verification, and Debug
Av Swarup Bhunia, Sandip Ray m. fl.
Häftad, 2018
986 kr
Lägg i varukorg
This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs. The authors discuss issues ranging from security requirements in SoC designs, definition of architectures and design choices to enforce and validate …
Security Policy in System-on-Chip Designs
Specification, Implementation and Verification
Av Sandip Ray, Abhishek Basak m. fl.
Inbunden, 2018
551 kr
Lägg i varukorg
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy …
Security Policy in System-on-Chip Designs
Specification, Implementation and Verification
Av Swarup Bhunia, Abhishek Basak m. fl.
E-bok, 2018
710 kr
Lägg i varukorg
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy …
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
Av Augusto Casaca, Srinivas Katkoori m. fl.
Häftad, 2021
770 kr
Tillfälligt slut
This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
