Mar Yah Said

According to our database, Mar Yah Said authored at least 4 papers between 2009 and 2015.

Collaborative distances:

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

2015

A method of refinement in UML-B.

Mar Yah Said, Michael J. Butler, Colin F. Snook

Softw. Syst. Model., 2015

2012

Finest authorizing member of common criteria certification.

Mohd Anuar Mat Isa, Jamalul-lail Ab Manan, Ramlan Mahmod, Habibah Hashim, Mar Yah Said, Nur Izura Udzir, Ali Dehghantanha

Proceedings of the 2012 International Conference on Cyber Security, 2012

2010

Methodology of refinement and decomposition in UML-B.

Mar Yah Said

PhD thesis, 2010

2009

Language and Tool Support for Class and State Machine Refinement in UML-B.

Mar Yah Said, Michael J. Butler, Colin F. Snook

Proceedings of the FM 2009: Formal Methods, 2009