Babamir, Seyed Morteza

• Vol 4, No 3 (2014) - Original Articles
  Specification and Verification of Medical Monitoring System Using Petri‑nets
  Abstract  PDF