Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword verification / total: 33

references: 17-26 / 33

« previous page | next page »

	title	year	author
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
21.	Bounded Model Checking for Verifying Concurrent Programs	2001	Jussila, Toni
22.	Automatic source-to-source translation from Programming Language for Microcomputers to C	2001	Jussila, Ari
23.	Applying CFFD equivalence as implementation relation in conformance testing	1999	Luukkala, Vesa
24.	Computer Aided Anomaly-handling System	1999	Taalas, Timo
25.	Computer Aided Anomaly-handling System	1999	Taalas, Timo
26.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio

« previous page | next page »

INSSI