Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword verification / yhteensä: 33

viitteet: 1-10 / 33

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Improvement of diagnostic test validation processes in a Finnish hospital laboratory using lean methods and a software solution	2015	Hirvonen, Tommi
2.	Toiminnanvarmistuksen kehittäminen rakentamisprosessissa	2015	Nevala, Sami
3.	Managing safety requirements in nuclear power domain by using V-model as a lifecycle model	2014	Doan, Quang
4.	Post-processing wind speed forecasts with the extended logistic regression method for energy production	2014	Pönni, Outi
5.	Röntgenkuvantamisjärjestelmän kuvankaappauskortin FPGA-pohjaisen järjestelmäpiirin toiminnan varmentaminen	2014	Helekorpi, Joonas
6.	Ilmastointikoneen elinkaaritaloudellinen hankintaprosessi	2014	Isaksson, Petra
7.	Field-Programmable Gate Arrays in Nuclear Power Plant Safety Automation	2013	Lötjönen, Lauri
8.	Test-guided proofs for C programs on LLVM	2013	Saarikivi, Olli
9.	Koneenohjausjärjestelmän turvallisuuskriittisen ohjelmiston kehittäminen	2013	Mannermaa, Timo
10.	Kaasujenvaihdon mittausten verifikaatiolaitteiston suunnittelu	2011	Tommila, Rurik

« edellinen sivu | seuraava sivu »

INSSI