Blar i Institutt for informasjonssikkerhet og kommunikasjonsteknologi på tidsskrift "Proceedings of the Third International Conference on Software Testing, Verification and Validation"
Viser treff 1-1 av 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 ...