سامانه مدیریت امور پژوهشی دانشگاه اراک | سیامک رسول زاده

	عنوان	مجله
1	A Formal Approach to Secure Design of the Insulin Pump Behavior	Journal of Medical Imaging and Health Informatics
2	Breast Cancer Prediction by Using C5.0 Algorithm and BOOSTING Method	Journal of Medical Imaging and Health Informatics
3	Using graph transformation system to formalize Tropos diagrams	Journal of Visual Languages & Computing