Home
Login
Register

Search Results

Search Results for: MUHAMMAD ABDUL BASIT UR RAHIM

Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE

Journal:Mehran University Research Journal of Engineering and Technology, 2016, Volume 35, Issue No 1

Author(s): MUHAMMAD ABDUL BASIT UR RAHIM, FAHIM ARIF

Keyword(s): Formal Semantics, Formal modeling, Real-Time System, Verification, UPPAAL, DiVinE

Category

SOCIAL AND CULTURAL STUDIES
ENGINEERING AND TECHNOLOGY

Year

2015 or earlier
2016
2017
2018
2019
2020
2021
2022

Journal

Close

About PRDB.pk

Pakistan Research Database helps individuals, professionals and institutions to access all research published in Pakistan at one platform.

CareerGuidance
eAdmissions

About Us
Work for PRDB
Contact Us
Privacy Policy
Copyright Policy
End User Terms