Dan Slipper, Wilson Ifill, Gordon Hunter, Roger Green, Richard Johnson, Alistair A. McEwan. Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab. In Ilia Bider, Terry A. Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Stanislaw Wrycza, editors, Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings. Volume 113 of Lecture Notes in Business Information Processing, pages 393-405, Springer, 2012. [doi]
Abstract is missing.