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

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

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

Satyajit Ray, one of the greatest auteurs of twentieth century cinema, was a Bengali motion-pictu...

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

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

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

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

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

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

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

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