Search results

From Event-B
Jump to navigationJump to search
  • | || || Asieh Salehi, Colin Snook, Michael Butler | || || Toby Wilkinson, Michael Butler, John Colley, Colin Snook
    8 KB (1,073 words) - 06:13, 24 June 2014
  • * Scenario Checker: An Event-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler' * Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:Rodin
    4 KB (595 words) - 09:41, 29 June 2021
  • '''13:00 - 14:45''' Colin Snook: ''UML-B tutorial'' *Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
    4 KB (521 words) - 13:15, 13 June 2013
  • ...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) - 18:29, 6 June 2016
  • Colin's Notes
    4 KB (623 words) - 19: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) - 09:28, 22 November 2010
  • Colin Snook, University of Southampton
    2 KB (303 words) - 14:32, 19 May 2020
  • Colin Snook, University of Southampton
    2 KB (294 words) - 09:58, 16 October 2017
  • ;Organisers: Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)
    2 KB (356 words) - 12:46, 24 May 2018
  • * Colin Snook, [http://wiki.event-b.org/images/An_EMF_framework_for_EventB.pdf An E
    5 KB (766 words) - 09:59, 21 September 2011
  • ...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) - 13:18, 18 July 2012
  • :* UML-B Improvements (Colin Snook, Vitaly Savicks)
    6 KB (830 words) - 13:21, 7 October 2013
  • *Colin Snook. First Models of a Safe System
    7 KB (1,003 words) - 20:08, 12 October 2009
  • By Mar Yah Said, Michael Butler and Colin Snook.
    9 KB (1,283 words) - 13:58, 5 July 2017
  • * Colin Snook (University of Southampton) and Michael Leuschel (University of Dusse
    8 KB (1,249 words) - 13:09, 11 September 2020