Browsing eNauka
Browsing by Author Sesic, Aleksandra
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2008 | Dynamic power management of a system with a two-priority request queue using probabilistic-model checking | Sesic, Aleksandra; Dautovic, Stanisa; Malbasa, Veljko D | Article | 21M21 |
| 2002 | Formal specification and preliminary design of an asynchronous traffic light controller | Sesic, Aleksandra; Malbasa, Veljko D | Conference Paper | Mp. category will be shown later |