Dynamic priorities for modeling real-time
| Title | Dynamic priorities for modeling real-time |
| Publication Type | Journal Articles |
| Year of Publication | 1997 |
| Authors | Bhat G, Cleaveland R, L\üttgen G |
| Journal | Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII’97) |
| Pagination | 321 - 336 |
| Date Published | 1997/// |