TY  - SER
AU  - Basit Ur R, Muhammad Abdul
AU  - Arif, Fahim
TI  - Translating Activity Diagram from Duration Calculus  for  Modeling of Real-Time Systems and its  Formal Verification Using Uppaal and Divine
KW  -  Formal Semantics
KW  -  Formal Models
KW  - Real-Time Systems
ER  -