Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword verification / total: 33

references: 11-20 / 33

« previous page | next page »

	title	year	author
11.	A practical model checking approach using SATABS	2010	Juslin, Veli-Pekka
12.	Verification and validation of In Vitro diagnostic software for European market	2008	Virtanen, Akseli
13.	Verification and Troubleshooting in Mobile Core Networks - Possibilities of Simulated and Automated methods	2008	Koistinen, Juha
14.	Developing an environmental data distribution system for near real-time applications	2008	Huttunen, Markku
15.	Development of ice condenser model for the simulation software APROS	2005	Henttonen, Tommi
16.	Paikkatietojen suojausmenetelmät tietoteknisestä näkökulmasta	2005	Ristikangas, Mikko
17.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
18.	Validation of a fission product revaporization model	2005	Karttunen, Ville
19.	Integrated verification environment for 3G transcoder systems	2003	Vaittinen, Ville
20.	Design and Verification of Radio Frequency Integrated Circuit Power Amplifiers	2002	Falck, Marko

« previous page | next page »

INSSI