Mohammad Reza Sarshogh

AppendixC: Event-B Model of the Message Passing Case-study (Manual)

Mohammad Reza Sarshogh, 2012 .

Specification and refinement of discrete timing properties in Event-B

Michael Butler, Mohammad Reza Sarshogh, 2011 .

Specification and refinement of discrete timing properties in Event-B

Michael J. Butler, Mohammad Reza Sarshogh, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Multi-task Network for Localization and Recognition of Text in Images

Keegan E. Hines, Mohammad Reza Sarshogh, 2019, 2019 International Conference on Document Analysis and Recognition (ICDAR).

Thesis Appendix_Gear Controller Case-study(Plugin2)

Mohammad Reza Sarshogh, 2012 .

Thesis Appendixes-Gear Controller Case-study (Time Added Manually)

Mohammad Reza Sarshogh, 2012 .

Extending Event-B with discrete timing properties

Mohammad Reza Sarshogh, 2013 .