| 000 | 00622nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2016 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aBasit Ur R, Muhammad Abdul _9699741 |
||
| 100 |
_aArif, Fahim _9699742 |
||
| 245 | 0 | _aTranslating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification Using Uppaal and Divine | |
| 300 | _a139-154 p. | ||
| 650 |
_a Formal Semantics _9699743 |
||
| 650 |
_a Formal Models _9699744 |
||
| 650 |
_aReal-Time Systems _9147389 |
||
| 773 |
_d2016 _tMehran University Research Journal of Engineeering and Technology _x02547821 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c710020 _d710020 |
||