Search results

From Event-B
Jump to navigationJump to search
  • ...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.pd
    5 KB (664 words) - 18:29, 6 June 2016
  • ...</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.5
    9 KB (1,244 words) - 13:52, 1 April 2022
  • Thai Son Hoang, University of Southampton
    2 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 Event
    6 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 in
    5 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/d088h53531x7
    6 KB (1,034 words) - 14:43, 27 January 2010
  • Son recently reported a
    8 KB (1,284 words) - 18:33, 30 January 2012
  • * Son Hoang
    7 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 Event
    19 KB (2,944 words) - 15:28, 27 January 2011