Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams

Kirje

Ubar, R.; Raik, J.; Kruus, H.; Lensen, H.; Evartson, T. (2008). Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams. In: Bonilla, L.L.; Moscoso, M.; Platero, G.; Vega, J.M. (Ed.). Progress in Industrial Mathematics at ECMI 2006 (902−907). . Springer-Verlag. (Mathematics in Industry ; 12).

Publikatsiooni tüüp

artikkel / peatükk kogumikus

Autorid, kellel on ETISe konto

Autorid

Kui väljale „Autorid, kelle on ETISE konto“ sai lisada ainult neid isikuid, kes on ETISe kasutajad, siis väljale „Autorid“ tuleks sisestada kõigi publikatsiooni autorite nimed formaadis "Perenimi, Eesnimi" või "Perenimi, E.". Mitu nime tuleks eraldada semikooloniga. Nimed tuleks jätta sellisele kujule nagu nad on publikatsiooni originaalis ja seda isegi juhul, kui mõne autori nimi on muutunud (nt abiellumise tõttu). Publikatsioonide otsing otsib nimesid nii väljalt "Autorid, kelle on ETISE konto" kui "Autorid" sisust. Kui seotud isik on toimetaja või koostaja, siis tuleks siia reale sisestada tema nimi ning lisaks ka ttegevuse lühend, nt "Perenimi, Eesnimi (Toim.)"

Ubar, R.; Raik, J.; Kruus, H.; Lensen, H.; Evartson, T.

Keeled

Inglise

Väljaande pealkiri

Progress in Industrial Mathematics at ECMI 2006

Toimetaja(d)

Nimed sisestada formaadis "Perenimi, Eesnimi" ja mitu nime eraldatuna semikooloniga.

Bonilla, L.L.; Moscoso, M.; Platero, G.; Vega, J.M.

Kirjastus

Springer-Verlag

ISBN

978-3-540-71991-5

Seeria

Mathematics in Industry

Seeria köide

Ilmumisaasta

2008

Leheküljed

902–907

Staatus

Ilmumas publikatsioonide all peetakse silmas neid, mis on väljaandesse või kogumikku vastu võetud (accepted, in press), ent toimetamise või trükiprotsess on veel pooleli. Ilmumas staatusega publikatsioonide puhul on kohustuslik lisada publikatsiooni andmetesse kas DOI või fail, mis sisaldab toimetaja kinnituskirja publikatsiooni ilmumise kohta.

Ilmunud

Klassifikatsioon

3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Open Access

Teadmata

Viited terviktekstile

Seotud asutused

Asutused

Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool

Lisainfo

Projektid

Loobu

Eesti Teadusinfosüsteem

Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams

Viited terviktekstile

Seotud asutused

Lisainfo