Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab.

Dan Slipper, Wilson Ifill, Gordon Hunter, Roger Green, Richard Johnson, Alistair A. McEwan

Browse the full CaiSE paper archive.