Mehdi Borhani Dehkordi

According to our database, Mehdi Borhani Dehkordi authored at least 2 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2012

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.

Seyed Morteza Babamir, Mehdi Borhani Dehkordi

J. Medical Syst., 2012

2011

An event based formal specification method to diabetic's behavior monitor system.

Seyed Morteza Babamir, Mehdi Borhani Dehkordi

Proceedings of the First World Conference on Information Technology, 2011