еНаука - преглед
Преглед према Аутор Sesic, Aleksandra
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |