Search results

From Event-B
Jump to navigationJump to search
Results 1 – 4 of 4
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  • ...ent of a flash-based file system in Event-B is reported in a PhD thesis by Kriangsak Damchoom<ref>[http://eprints.ecs.soton.ac.uk/21655/ Damchoom, K. (2010) An ..., Jean-Raymond''.<ref>[http://deploy-eprints.ecs.soton.ac.uk/22/ Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of
    4 KB (656 words) - 13:06, 18 November 2010
  • By Kriangsak Damchom and Michael Butler. By ''Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond''.
    9 KB (1,283 words) - 13:58, 5 July 2017
  • * Kriangsak Damchoom and Michael Butler, [http://www.event-b.org/rodin09/FlashFileSysR
    5 KB (766 words) - 09:59, 21 September 2011
  • Kriangsak Damchoom has updated the plug-in to add [[Event Extension|extensions of eve
    6 KB (915 words) - 16:57, 27 February 2014