Autori: Sesic Aleksandra
| Naslov | Dynamic power management of a system with a two-priority request queue using probabilistic-model checking (Article) |
| Autori | Sesic Aleksandra Dautovic Stanisa Malbasa Veljko D |
| Info | IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, (2008), vol. 27 br. 2 , Suppl. , str. 403 -407 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formal specification and preliminary design of an asynchronous traffic light controller (Proceedings Paper) |
| Autori | Sesic Aleksandra Malbasa Veljko D |
| Info | 2002 23RD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS, (2002), vol. br. , str. 679-682 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science Scopus |
