Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective || Computational diagrammatics: diagrams and structure
Besnard, Denis; Gacek, Cristina; Jones, Cliff B.
- 作者Besnard, Denis; Gacek, Cristina; Jones, Cliff B.
- 文件大小296.43KB
- 发表时间2006
- DOI10.1007/1-84628-111-3_8
- 页码143-168