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

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

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

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

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 all...

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

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

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

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

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

This book provides a comprehensive overview of techniques for modeling, abstracting, and formaliz...