Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements.

Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser

Browse the full SAFECOMP paper archive.