Normal view
MARC view
Formal Models (Topical Term)
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