Formal Support for the Safety Analysis of Requirement Models.

Ken Chan, Clive Fencott, Barry D. Hebbron

Browse the full SAFECOMP paper archive.