محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
سومین کنفرانس فناوری اطلاعات و دانش
جزئیات رویداد
اینستاگرام تی پی بین
همایش ، رویداد ، ژورنال
حوزه های تحت پوشش رویداد

  • on the analysis and verification of graph transformation systems

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1386/01/01
    • تاریخ انتشار در تی پی بین: 1386/01/01
    • تعداد بازدید: 566
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     graph transformation has recently become more and more popular as a general formal modeling language. easy to use by designers and a considerable capability to behavioral modeling of dynamic systems characterize it among other formalisms. in this paper we concentrate on how to analyze these models. we will describe our approach to show how one can verify the designed graph transformation systems. to verify graph transformation systems we use a novel approach: using bogor model checker to verify graph transformation systems.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها