Kriangsak Damchoom

According to our database, Kriangsak Damchoom authored at least 3 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

An incremental refinement approach to a development of a flash-based file system in Event-B.

Kriangsak Damchoom

PhD thesis, 2010

2009

Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.

Kriangsak Damchoom, Michael J. Butler

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.

Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial

Proceedings of the Formal Methods and Software Engineering, 2008