語系
Ray, Sandip.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamentals of IP and SoC security = design, verification, and debug /
by:
Bhunia, Swarup.; Ray, Sandip.; Sur-Kolay, Susmita.; SpringerLink (Online service)
(書目-電子資源)
Security policy in system-on-chip designs = specification, implementation and verification /
by:
Ray, Sandip.; Basak, Abhishek.; Bhunia, Swarup.; SpringerLink (Online service)
(書目-電子資源)
Scalable techniques for formal verification
by:
SpringerLink (Online service); Ray, Sandip.
(書目-語言資料,印刷品)
主題
Computer security.
Systems on a chip- Security measures.
Electronics and Microelectronics, Instrumentation.
Formal methods (Computer science)
Computer-Aided Engineering (CAD, CAE) and Design.
Data encryption (Computer science)
Processor Architectures.
Automatic theorem proving.
Circuits and Systems.
Computer systems- Verification.
Engineering.
Systems on a chip- Design.
Internet- Security measures.
Electronic Circuits and Devices.