Search results

Create the page "Vitaly" on this wiki! See also the search results found.

• Rodin Workshop 2010
  ...ttp://wiki.event-b.org/images/Rodin2010-sld-savicks_etal.pdf ''Records''], Vitaly Savicks, Colin Snook, Michael Butler ...images/Dusseldorf_SM_Animation.pdf'' Animation of UML-B State-machines''], Vitaly Savicks, Colin Snook, Michael Butler
  5 KB (716 words) - 09:28, 22 November 2010
• Rodin Workshop 2013
  * Vitaly Savicks, Michael Butler, Jens Bendisposto, John Colley: ''Co-simulation of
  4 KB (521 words) - 13:15, 13 June 2013
• ADVANCE D3.2 General Platform Maintenance
  ...mpton. Significant contributions (to the latest version) have been made by Vitaly Savicks (state-machines) and Gintautas Sulskus (Class Diagrams). The UML-B Savicks, Vitaly, Snook, Colin (2012) ''A Framework for Diagrammatic Modelling Extensions in
  20 KB (3,030 words) - 13:18, 18 July 2012
• ADVANCE Deliverable D3.3
  :* UML-B Improvements (Colin Snook, Vitaly Savicks)
  6 KB (830 words) - 13:21, 7 October 2013
• Rodin Workshop 2014
  | || || Vitaly Savicks, Michael Butler, John Colley, Jens Bendisposto
  8 KB (1,073 words) - 06:13, 24 June 2014
• DEPLOY Plenary Workshop 2009
  * Vitaly Kozyura and Andreas Roth - Generation of Gluing Invariants for Checking Loc
  7 KB (1,003 words) - 20:08, 12 October 2009
• D23 ProB
  ...uesseldorf.de/~leuschel/publication_detail.php?id=252 Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, I
  17 KB (2,580 words) - 15:55, 28 January 2010