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
S.M. 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.
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.
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.
)