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

Wilson Ifill 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. 393-405 2012 BMMDS/EMMSAD https://doi.org/10.1007/978-3-642-31072-0_27 conf/caise/2012bpmds db/conf/caise/bpmds2012.html#SlipperIHGJM12

Wilson Ifill Steve A. Schneider A step towards refining and translating B control annotations to Handel-C. 1023-1048 2010 22 Concurr. Comput. Pract. Exp. 8 https://doi.org/10.1002/cpe.1427 https://www.wikidata.org/entity/Q60173586 db/journals/concurrency/concurrency22.html#IfillS10

Helen Treharne Steve A. Schneider Neil Grant Neil Evans Wilson Ifill A Step towards Merging xUML and CSP || {\| \ }B. 130-146 2009 Rigorous Methods for Software Construction and Analysis https://doi.org/10.1007/978-3-642-11447-2_9 https://www.wikidata.org/entity/Q60173590 conf/birthday/2009borger db/conf/birthday/borger2009.html#TreharneSGEI09 Wilson Ifill B Annotations in CriticalControl SystemsDevelopment. 2008 University of Surrey, Guildford, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.504958 British Library, EThOS Steve A. Schneider Helen Treharne Alistair A. McEwan Wilson Ifill Experiments in Translating CSP || B to Handel-C. 115-133 2008 CPA https://doi.org/10.3233/978-1-58603-907-3-115 conf/wotug/2008 db/conf/wotug/cpa2008.html#SchneiderTMI08 Wilson Ifill Steve A. Schneider Helen Treharne Augmenting B with Control Annotations. 34-48 2007 conf/b/2007 B https://doi.org/10.1007/11955757_6 db/conf/b/b2007.html#IfillST07 Neil Evans Wilson Ifill Hardware Verification and Beyond: Using B at AWE. 260-261 2007 conf/b/2007 B https://doi.org/10.1007/11955757_24 db/conf/b/b2007.html#EvansI07 Chris Nettleton Wilson Ifill Colin Marsh Towards a demonstrably-correct ada compiler. 89-96 2007 SIGAda https://doi.org/10.1145/1315580.1315602 conf/sigada/2007 db/conf/sigada/sigada2007.html#NettletonIM07 Wilson Ifill Steve A. Schneider A Step Towards Refining and Translating B Control Annotations to Handel-C. 399-424 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#IfillS07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5985 Alistair A. McEwan Steve A. Schneider Wilson Ifill Peter H. Welch The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007 65 Concurrent Systems Engineering Series 2007 978-1-58603-767-3 IOS Press http://www.booksonline.iospress.nl/Content/View.aspx?piid=5962 CPA db/conf/wotug/cpa2007.html Neil Evans Neil Grant Roger Green Gordon Hunter Richard Johnson Colin Marsh Alistair A. McEwan Chris Nettleton Steve A. Schneider Dan Slipper Helen Treharne Peter H. Welch