Søkt på: Bøker av ketil stølen
totalt 16 treff
Specification and Development of Interactive Systems
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches …
Trust Management
This volume constitutes the proceedings of the 4th International Conference on Trust Management, held in Pisa, Italy during 16-19 May 2006. The conference followed successful …
Risk Assessment and Risk-Driven Testing
This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Risk Assessment and Risk-driven Testing, RISK 2013, held in conjunction …
Graphical Models for Security
This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August …