Search results

Create the page "Son" on this wiki! See also the search results found.

• Rodin Workshop 2021
  ...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
• Rodin Workshop 2016
  * 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
• Rodin Workshop 2023
  * 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
• Rodin Platform 3.4.0 External Plug-ins
  ...</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
• Rodin Platform 3.3.0 External Plug-ins
  ...|| 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
• Rodin Platform 3.1.0 External Plug-ins
  ...|| 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
• Rodin Platform 3.5.0 External Plug-ins
  ...|| 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
• Rodin Workshop 2020
  Thai Son Hoang, University of Southampton
  2 KB (303 words) - 14:32, 19 May 2020
• Rodin Platform 3.2.0 External Plug-ins
  ...|| 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
• Event-B Qualitative Probability User Guide
  [[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
• Rodin Platform 3.0.0 External Plug-ins
  ...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
• Event-B Examples
  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
• Rodin Workshop 2013
  * Thai Son Hoang: ''Generic Instantiation and Tool Support''
  4 KB (521 words) - 13:15, 13 June 2013
• Introduction (How to extend Rodin Tutorial)
  ...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
• D23 Pattern Plug-in
  ...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
• Revisiting Feasibility POs
  Son recently reported a
  8 KB (1,284 words) - 18:33, 30 January 2012
• DEPLOY Plenary Workshop 2009
  * Son Hoang
  7 KB (1,003 words) - 20:08, 12 October 2009
• Rodin Platform 3.5 Release Notes
  * Thai Son Hoang (University of Southampton) who made the port to Eclipse 2020-06.
  8 KB (1,249 words) - 13:09, 11 September 2020
• Google Summer of Code 2009
  * Thai Son Hoang <htson at inf dot ethz dot ch>.
  10 KB (1,629 words) - 12:50, 12 August 2009
• D32 Scalability
  * 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