eNauka - pregled
Pregled prema Autor Sesic, Aleksandra
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2008 | Dynamic power management of a system with a two-priority request queue using probabilistic-model checking | Sesic, Aleksandra; Dautovic, Stanisa; Malbasa, Veljko D | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2002 | Formal specification and preliminary design of an asynchronous traffic light controller | Sesic, Aleksandra; Malbasa, Veljko D | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |