- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.



