Safety Patterns - The Key to Formal Specification of Safety Requirements.

Friedemann Bitsch

Browse the full SAFECOMP paper archive.