Search results

From Event-B
Jump to: navigation, search
  • ...[[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a single text editor which will be part of th
    12 KB (1,869 words) - 17:35, 18 March 2014
  • By Alexei Iliasov.
    9 KB (1,283 words) - 14:58, 5 July 2017
  • * Alexei Iliasov, [http://wiki.event-b.org/images/Soton_flow.pdf On Event-B and Cont
    5 KB (766 words) - 10:59, 21 September 2011
  • * Alexei Iliasov
    7 KB (1,003 words) - 21:08, 12 October 2009
  • ...n.de/sam/meta-tools/tef/index.html TEF] perfectly fit our needs and indeed Alexei Iliasov developed in 2008 a prototype based on TEF. However there were a nu
    8 KB (1,257 words) - 16:56, 28 January 2010
  • ..._etal.pdf ''Fault Tolerance View in Event-B Development''], Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky ...ages/Rodin2010-sld-iliasov.pdf ''Modularisation/Group Refinement/Views''], Alexei Iliasov
    5 KB (716 words) - 10:28, 22 November 2010
  • * Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support
    4 KB (521 words) - 14:15, 13 June 2013
  • * A Rodin plug-in for constructing reusable schematic lemmas - ''Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky
    5 KB (664 words) - 19:29, 6 June 2016