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

	عنوان	مجله
1	Style-based modeling and verification of fault tolerance service oriented architectures	Procedia Computer Science
2	From Class Diagrams to Relational Tables: A Graph Transformation-based Approach	Electrical Review