A Foundation for Requirements Analysis of Dependable Software.

Denis Hatebur, Maritta Heisel

Browse the full SAFECOMP paper archive.