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

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024