Online testing of nondeterministic systems with the reactive planning tester

Kirje

Vain, J.; Kääramees, M.; Markvardt, M. (2012). Online testing of nondeterministic systems with the reactive planning tester. In: Petre, L.; Sere, K.; Troubitsyna, E. (Ed.). Dependability and Computer Engineering : Concepts for Software-Intensive Systems (113−150). Hershey, PA: IGI Global. DOI: 10.4018/978-1-60960-747-0.ch007.

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.)"

Vain, J.; Kääramees, M.; Markvardt, M.

Keeled

Inglise

Väljaande pealkiri

Dependability and Computer Engineering : Concepts for Software-Intensive Systems

Toimetaja(d)

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

Petre, L.; Sere, K.; Troubitsyna, E.

Ilmumiskoht

Hershey, PA

Kirjastus

IGI Global

ISBN

978-1-60960-747-0

Ilmumisaasta

2012

Leheküljed

113–150

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

Viited terviktekstile

URL

www.igi-global.com/bookstore/chapter.aspx?titleid=55327

DOI

DOI, s.o rahvusvaheline digitaalse objekti identifikaator, mis peaks olema kas formaadis "http://dx.doi.org/10.0004545" või "http://doi.org/10.0004545". Välja täitmine on väga soovitatav, sest see loob lingi publikatsiooni orignaaltekstile. DOI-linki kuvatakse ka ETISe publikatsiooni lühikirjes.

doi.org/10.4018/978-1-60960-747-0.ch007

Seotud asutused

Asutused

Lisainfo

Refereerivad andmebaasid

Book Citation Index- Science (BKCI-S) ; Scopus

Loobu

Eesti Teadusinfosüsteem

Online testing of nondeterministic systems with the reactive planning tester

Viited terviktekstile

Seotud asutused

Lisainfo