Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword verifiointi / total: 19

references: 1-10 / 19

« previous page | next page »

	title	year	author
1.	Post-processing wind speed forecasts with the extended logistic regression method for energy production	2014	Pönni, Outi
2.	Field-Programmable Gate Arrays in Nuclear Power Plant Safety Automation	2013	Lötjönen, Lauri
3.	Test-guided proofs for C programs on LLVM	2013	Saarikivi, Olli
4.	A practical model checking approach using SATABS	2010	Juslin, Veli-Pekka
5.	Verification and validation of In Vitro diagnostic software for European market	2008	Virtanen, Akseli
6.	Verification and Troubleshooting in Mobile Core Networks - Possibilities of Simulated and Automated methods	2008	Koistinen, Juha
7.	Developing an environmental data distribution system for near real-time applications	2008	Huttunen, Markku
8.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
9.	Integrated verification environment for 3G transcoder systems	2003	Vaittinen, Ville
10.	Bounded Model Checking for Verifying Concurrent Programs	2001	Jussila, Toni

« previous page | next page »

INSSI