Mehdi Borhani Dehkordi

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Specification Language

Linear Temporal Logic

Top Venues

J. Medical Syst.

Publications

Seyed Morteza Babamir, Mehdi Borhani Dehkordi
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. J. Medical Syst. 36 (4) (2012)
Seyed Morteza Babamir, Mehdi Borhani Dehkordi
An event based formal specification method to diabetic's behavior monitor system. WCIT (2011)