Normal view
MARC view
Arif, Fahim (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)710020: Basit Ur R, Muhammad Abdul 699741, Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine