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 | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2002 | Formal specification and preliminary design of an asynchronous traffic light controller | Sesic, Aleksandra; Malbasa, Veljko D | Конференцијски рад | Мп категорија ће бити приказана накнадно. |