Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword verifiointi / total: 19

references: 5-14 / 19

« previous page | next page »

	title	year	author
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
11.	Automatic source-to-source translation from Programming Language for Microcomputers to C	2001	Jussila, Ari
12.	Applying CFFD equivalence as implementation relation in conformance testing	1999	Luukkala, Vesa
13.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
14.	Reverse Engineering tuotekehityksessä	1997	Rintanen, Marko

« previous page | next page »

INSSI