Scalable Techniques for Formal Verification

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure corre...

Fundamentals of IP and SoC Security

This book is about security in embedded systems and it provides an authoritative reference to ...

Security Policy in System-on-Chip Designs

This book offers readers comprehensive coverage of security policy specification using new pol...

Fundamentals of IP and SoC Security

This book is about security in embedded systems and it provides an authoritative reference to all...

Scalable Techniques for Formal Verification

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure corre...

Scalable Techniques for Formal Verification

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure corre...

An Aquatic Ecosystem Model: Analysis of Different States

This book is based on the study of an aquatic ecosystem model through ecological goal functions: ...

Security Policy in System-on-Chip Designs

This book offers readers comprehensive coverage of security policy specification using new policy...

Fundamentals of IP and SoC Security

Security Policy in System-on-Chip Designs

This book offers readers comprehensive coverage of security policy specification using new policy...

Internet of Things. A Confluence of Many Disciplines

This book constitutes the refereed post-conference proceedings of the Second IFIP International C...

Biomaterials-Based Sensors

With the recent technological advancement usage of unique nanomaterials and bio-based composite m...