A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.

Stefano Bistarelli, Simon N. Foley

Browse the full SAFECOMP paper archive.