Babamiri, S. & Jalili, S. (2007). EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE. Sharif Journal of Mechanical Engineering, 23(No . 38), 81-101.
MLA
Babamiri, S., & Jalili, S. "EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE", Sharif Journal of Mechanical Engineering, 23, No . 38, 2007, 81-101.
HARVARD
Babamiri S., Jalili S. (2007). 'EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE', Sharif Journal of Mechanical Engineering, 23(No . 38), pp. 81-101.
CHICAGO
S. Babamiri & S. Jalili, "EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE," Sharif Journal of Mechanical Engineering, 23 No . 38 (2007): 81-101,
VANCOUVER
Babamiri S., Jalili S. EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE. Sharif Journal of Mechanical Engineering. 2007;23(No . 38):81-101 (In Persian).
