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