Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine

By: Material type: ArticleArticleDescription: 139-154 pSubject(s): In: Mehran University Research Journal of Engineeering and Technology
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.35, No.01 (Jan. 2016) Available