Search results

From Event-B
Jump to: navigation, search
  • By Mar Yah Said, Michael Butler and Colin Snook.
    9 KB (1,283 words) - 14:58, 5 July 2017
  • * Colin Snook, [http://wiki.event-b.org/images/An_EMF_framework_for_EventB.pdf An E
    5 KB (766 words) - 10:59, 21 September 2011
  • *Colin Snook. First Models of a Safe System
    7 KB (1,003 words) - 21:08, 12 October 2009
  • Colin's Notes
    4 KB (623 words) - 20:48, 24 September 2009
  • ...-b.org/images/Rodin2010-sld-savicks_etal.pdf ''Records''], Vitaly Savicks, Colin Snook, Michael Butler ...f_SM_Animation.pdf'' Animation of UML-B State-machines''], Vitaly Savicks, Colin Snook, Michael Butler
    5 KB (716 words) - 10:28, 22 November 2010
  • ...UML-B plug-in and associated frameworks are developed and maintained by Dr Colin Snook at the University of Southampton. Significant contributions (to the l Savicks, Vitaly, Snook, Colin (2012) ''A Framework for Diagrammatic Modelling Extensions in Rodin'' in Ro
    20 KB (3,030 words) - 14:18, 18 July 2012
  • '''13:00 - 14:45''' Colin Snook: ''UML-B tutorial'' *Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
    4 KB (521 words) - 14:15, 13 June 2013
  • :* UML-B Improvements (Colin Snook, Vitaly Savicks)
    6 KB (830 words) - 14:21, 7 October 2013
  • | || || Asieh Salehi, Colin Snook, Michael Butler | || || Toby Wilkinson, Michael Butler, John Colley, Colin Snook
    8 KB (1,073 words) - 07:13, 24 June 2014
  • ...Platform-Independent Event-B Models - ''Asieh Salehi, Michael Butler, and Colin Snook'' ([[Media:Extending Code Generation to Support Platform-Independent ...and BMotionStudio for Public Engagement - ''Dana Dghaym, Asieh Salehi and Colin Snook'' ([[Media:Using Rodin and BMotionStudio for Public Engagement.pdf|pd
    5 KB (664 words) - 19:29, 6 June 2016
  • ;Organisers: Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)
    2 KB (356 words) - 13:46, 24 May 2018
  • Colin Snook, University of Southampton
    2 KB (294 words) - 10:58, 16 October 2017