Browsing Institutt for informasjonssikkerhet og kommunikasjonsteknologi by Journals "Proceedings of the Third International Conference on Software Testing, Verification and Validation"
Now showing items 1-1 of 1
-
Model-Driven Engineering of Dependable Systems
(Chapter, 2010)Improving the dependability of a computer system increases the acquisition cost so much that many systems are built without a cost-effective level of dependability. This motivates our decision to work on reducing the ...