Excellence in Research and Innovation for Humanity
Rasulzadeh, S. (2008). 'Formal Modeling and Verification of Software Models'. World Academy of Science, Engineering and Technology, International Science Index 18, International Journal of Computer, Electrical, Automation, Control and Information Engineering, 2(6), 1881 - 1887.