Search results
From Event-B
Jump to navigationJump to searchCreate the page "Alexei" on this wiki! See also the search results found.
File:A Rodin plug-in for constructing reusable schematic lemmas.pdf A Rodin plug-in for constructing reusable schematic lemmas (Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky(72 KB) - 15:08, 8 June 2021- :* Modularisation Plug-in (Alexei Iliasov) :* Flows Plug-in (Alexei Iliasov)5 KB (699 words) - 14:52, 30 November 2010
- :[[D23 Flow Plug-in|Flow Plug-in]] (Alexei Iliasov) :[[D23 Modularisation Plug-in|Modularisation Plug-in]] (Alexei Iliasov)4 KB (576 words) - 16:01, 26 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 Iliasov5 KB (716 words) - 09:28, 22 November 2010
- * Alexei Iliasov7 KB (1,003 words) - 20:08, 12 October 2009
- * Alexei Iliasov, [http://wiki.event-b.org/images/Soton_flow.pdf On Event-B and Cont5 KB (766 words) - 09:59, 21 September 2011
- * Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support4 KB (521 words) - 13:15, 13 June 2013
- * A Rodin plug-in for constructing reusable schematic lemmas - ''Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky5 KB (664 words) - 18:29, 6 June 2016
- ...n [[Düsseldorf]] ([[User:Fabian|Fabian]]) and [[Newcastle]] ([[User:Alexei|Alexei]]) have been joined to create a single text editor which will be part of th12 KB (1,869 words) - 16:35, 18 March 2014
- :*Modularisation (Alexei Illiasov)5 KB (732 words) - 08:31, 14 February 2012
- ...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 nu8 KB (1,257 words) - 15:56, 28 January 2010
- By Alexei Iliasov.9 KB (1,283 words) - 13:58, 5 July 2017