Canonical Representation of High Level Decision Diagrams
Karputkin, A.; Ubar, R.; Raik, J.; Tombak, M. (2010). Canonical Representation of High Level Decision Diagrams. Estonian Journal of Engineering, 16 (1), 39−55.
artikkel ajakirjas
Karputkin, A.; Ubar, R.; Raik, J.; Tombak, M.
- Inglise
Estonian Journal of Engineering
1736-6038
16
1
2010
39–55
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele
Teadmata
Viited terviktekstile
Seotud asutused
- Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool
- Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut
- Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool
- Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Lisainfo
- ETF7483 "Isediagnoosivad digitaalsüsteemid (1.01.2008−31.12.2011)", Raimund Ubar, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.
- SF0140041s08 "Töökindlate sardsüsteemide disain (1.01.2008−31.12.2013)", Raimund Ubar, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.
- SF0140013s10 "Evolutsioneeruvate infosüsteemide mudelipõhine loomine ja haldamine (1.01.2010−31.12.2014)", Kuldar Taveter, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond.