Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search.

Lus Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo

Browse the full SAFECOMP paper archive.