HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems.

Andrew Hussey

Browse the full SAFECOMP paper archive.