Search results
From Event-B
Jump to navigationJump to searchCreate the page "Kriangsak" on this wiki! See also the search results found.
- ...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 of4 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/FlashFileSysR5 KB (766 words) - 09:59, 21 September 2011
- Kriangsak Damchoom has updated the plug-in to add [[Event Extension|extensions of eve6 KB (915 words) - 16:57, 27 February 2014