Search results
From Event-B
Jump to navigationJump to searchCreate the page "Son" on this wiki! See also the search results found.
- ...cker: An Event-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:Rodin * Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' (4 KB (595 words) - 09:41, 29 June 2021
- * Towards Modular Development in Event-B - ''Thai Son Hoang, Hironobu Kuruma, and Michael Butler'' ([[Media:Towards Modular Devel ...oject Reference for Managing Model Variations - ''Hironobu Kuruma and Thai Son Hoang'' ([[Media:Crossed-Project Reference for Managing Model Variations.pd5 KB (664 words) - 18:29, 6 June 2016
- * Formalisation of a Software Development Process — ''Ivan Entchev, Son Thai Hoang'' ...he Safety Requirements of Self-Driving Vehicle Systems — ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''3 KB (375 words) - 15:36, 26 May 2023
- ...</span> || 3.4.0 || 12 Nov 2018 || [mailto:T.S.Hoang@ecs.soton.ac.uk Thai Son Hoang] || CamilleX provides text editors for Event-B models. ...|| 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||6 KB (855 words) - 16:00, 12 December 2019
- ...|| 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || ...> || 3.x.x || 23rd July 2017 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||13 KB (1,514 words) - 07:16, 2 September 2017
- ...|| 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || ...> || 3.x.x || 9th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||13 KB (1,452 words) - 09:38, 18 June 2015
- ...|| 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || ...|| 3.x.x || 9th October 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || Needs updating to be compatible with changes in Rodin 3.59 KB (1,244 words) - 13:52, 1 April 2022
- Thai Son Hoang, University of Southampton2 KB (303 words) - 14:32, 19 May 2020
- ...|| 3.x.x || 13th March 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || ...|| 3.x.x || 9th October 2015 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] ||13 KB (1,514 words) - 14:38, 6 July 2017
- [[User:Son]] is in charge of the plug-in. * Thai Son Hoang. '''Reasoning about almost-certain convergence properties using Event6 KB (749 words) - 17:54, 21 March 2018
- ...2.3.x || 23rd November 2011 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || ...n> || 3.0.x || 1 August 2014 || [mailto:tshoang@users.sourceforge.net Thai Son Hoang] || Use the update site <tt>http://gen-inst.sourceforge.net/updates</13 KB (1,415 words) - 07:56, 28 May 2015
- By ''Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond''. By ''Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond''.9 KB (1,283 words) - 13:58, 5 July 2017
- * Thai Son Hoang: ''Generic Instantiation and Tool Support''4 KB (521 words) - 13:15, 13 June 2013
- ...Qualitative Reasoning, please refer to the paper of ''Emre Yilmaz and Thai Son Hoang : Development of Rabin's Choice Coordination Algorithm in Event-B in5 KB (825 words) - 17:03, 16 October 2010
- ...This approach follows the earlier proposal of Jean-Raymond Abrial and Thai Son Hoang stated in the paper [http://www.springerlink.com/content/d088h53531x76 KB (1,034 words) - 14:43, 27 January 2010
- Son recently reported a8 KB (1,284 words) - 18:33, 30 January 2012
- * Son Hoang7 KB (1,003 words) - 20:08, 12 October 2009
- * Thai Son Hoang (University of Southampton) who made the port to Eclipse 2020-06.8 KB (1,249 words) - 13:09, 11 September 2020
- * Thai Son Hoang <htson at inf dot ethz dot ch>.10 KB (1,629 words) - 12:50, 12 August 2009
- * Emre Yilmaz and Thai Son Hoang (ETH Zurich) has developed a plug-in supporting an extension of Event19 KB (2,944 words) - 15:28, 27 January 2011