Search results

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

• Rodin Workshop 2021
  ...ent-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_ * Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2016
  * Theory plug-in for Rodin 3.x - ''Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin'' ([[Media:Theory Plug-in for Ro ...tending Code Generation to Support Platform-Independent Event-B Models - ''Asieh Salehi, Michael Butler, and Colin Snook'' ([[Media:Extending Code Generatio
  5 KB (664 words) - 18:29, 6 June 2016
• Rodin Workshop 2014
  | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images
  8 KB (1,073 words) - 06:13, 24 June 2014
• Rodin Workshop 2020
  Asieh Salehi Fathabadi, University of Southampton
  2 KB (303 words) - 14:32, 19 May 2020
• Rodin Workshop 2024
  <p>[https://www.southampton.ac.uk/people/5xb2d2/doctor-asieh-salehi-fathabadi Asieh Salehi Fathabadi], Senior Research Fellow, University of Southampton</p>
  3 KB (368 words) - 12:49, 15 April 2024
• ADVANCE Deliverable D3.3
  :[[ADVANCE D3.3 Language extension|Language extension]] (Asieh Salehi) ...Model Composition and Decomposition|Model Composition and Decomposition]] (Asieh Salehi)
  6 KB (830 words) - 13:21, 7 October 2013
• Rodin Workshop 2010
  ...micity Decomposition a Technique for Structuring Refinement in Event-B''], Asieh Salehi Fathabadi, Michael Butler
  5 KB (716 words) - 09:28, 22 November 2010
• Rodin Platform 3.5.0 External Plug-ins
  ...not checked</span> || || 05th March 2013 || [mailto:asf08r@ecs.soton.ac.uk Asieh] ||
  9 KB (1,244 words) - 13:52, 1 April 2022