Search results

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

• File:Crossed-Project Reference for Managing Model Variations.pdf ...-Project Reference for Managing Model Variations (Hironobu Kuruma and Thai Son Hoang) (154 KB) - 20:50, 30 April 2020

• File:Towards Modular Development in Event-B.pdf Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler) (171 KB) - 20:50, 30 April 2020

• File:Theory Plug-in for Rodin 3.x.pdf Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin) (100 KB) - 20:50, 30 April 2020

• Talk:Event Model Decomposition
  Son Dear Son,
  1 KB (230 words) - 06:27, 11 April 2012
• 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
• Talk:Event-B Language
  Son
  2 KB (255 words) - 21:22, 30 October 2009
• 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
• User:Tommy/Collections/Deploy Deliverable D32
  :* Qualitative Reasoning (Thai Son Hoang)
  5 KB (699 words) - 14:52, 30 November 2010

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)