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

	عنوان	مجله
1	A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS	International Journal of Software Engineering and Knowledge Engineering
2	Towards automated software model checking using graph transformation systems and Bogor	Journal of Zhejiang University - Science A
3	Towards automated verification of layered graph transformation specifications	Institution of Engineering and Technology
4	FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS	International Journal of Software Engineering and Knowledge Engineering