Normal view MARC view

Basit Ur R, Muhammad Abdul (Personal Name)

Preferred form: Basit Ur R, Muhammad Abdul

Machine generated authority record

Work cat.: (NEDUET)710020: Basit Ur R, Muhammad Abdul, Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024