Search results
From Event-B
Jump to navigationJump to searchCreate the page "Laurent" on this wiki! See also the search results found.
- * [[User:Laurent|Laurent Voisin]]541 bytes (71 words) - 15:31, 21 November 2014
- '''09:30 - 11:00''' Session 1 — ''Session Chair: Laurent Voisin'' * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''3 KB (375 words) - 15:36, 26 May 2023
- :[[ADVANCE D3.3 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)6 KB (830 words) - 13:21, 7 October 2013
- Laurent Voisin, Systerel Laurent Voisin and5 KB (766 words) - 09:59, 21 September 2011
- * Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling'' Laurent Voisin, Systerel4 KB (521 words) - 13:15, 13 June 2013
- | || || Thang Khuu, Laurent Voisin, Fernando Mejia | 16h00 - 17h20 || <b>Tool use</b> (Chair: Laurent Voisin)8 KB (1,073 words) - 06:13, 24 June 2014
- ...lug-in for Rodin 3.x - ''Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin'' ([[Media:Theory Plug-in for Rodin 3.x.pdf|pdf]], [[Media:Theory Pl Laurent Voisin, Systerel5 KB (664 words) - 18:29, 6 June 2016
- <p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p>3 KB (368 words) - 12:49, 15 April 2024
- ...le </span> || || 14th January 2022|| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || Automatic prover using SMT solvers ...</span>|| 2.5.x || 27th May 2015 || [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B9 KB (1,244 words) - 13:52, 1 April 2022
- Laurent Voisin, Systerel4 KB (530 words) - 15:34, 23 March 2012
- ...tion plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation plug-in.pdf|pdf]]4 KB (595 words) - 09:41, 29 June 2021
- ...pdf Transcript] of a subsequent e-mail discussion between Ken Robinson and Laurent Voisin5 KB (716 words) - 09:28, 22 November 2010
- ...ailable </span> || || 15th March 2016|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/6 KB (855 words) - 16:00, 12 December 2019
- ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||8 KB (1,053 words) - 09:10, 4 January 2012
- ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||8 KB (1,105 words) - 07:29, 17 August 2012
- ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||8 KB (1,106 words) - 08:35, 17 May 2012
- ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||8 KB (1,138 words) - 14:32, 23 November 2012
- ...Butler, Michael and Schmalz, Matthias and Hallerstede, Stefan and Voisin, Laurent. Mathematical Extensions Proposal]7 KB (958 words) - 14:53, 14 June 2021
- ...able</span> || 3.0 || 14th March 2014|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||13 KB (1,415 words) - 07:56, 28 May 2015
- ...ilable</span> || 2.7 || 3rd June 2013|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||12 KB (1,324 words) - 13:37, 3 June 2013
- ...le</span> || 2.4 || 18th October 2013|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||13 KB (1,455 words) - 13:43, 28 November 2014
- ...vailable</span> || || 14th March 2014|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||13 KB (1,452 words) - 09:38, 18 June 2015
- ...ailable </span> || || 15th March 2016|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||13 KB (1,514 words) - 14:38, 6 July 2017
- ...ailable </span> || || 15th March 2016|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||13 KB (1,514 words) - 07:16, 2 September 2017