عنوان A formal framework to model and validate event-based software architecture نوع پژوهش مقاله چاپشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران سمیه اسدالهی (نفر پنجم)، سمانه اسدالهی (نفر چهارم)، وحید رافع (نفر سوم)، یحیی اسدالهی (نفر اول)