A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production.

Andr Alexandersen Hauge, Ketil Stlen

Browse the full SAFECOMP paper archive.