Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword verifiointi / yhteensä: 19

viitteet: 11-19 / 19

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
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
15.	Product Level Verification and Validation Process for Nokia SDH Equipment	1997	Kaitajärvi, Reima
16.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
17.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
18.	VHDL Test Bench Approach to ASIC Design Validation and Verification	1996	Zetterman, Tommi
19.	Kuvauskielen käyttö datasiirto-ohjelmistoissa	1986	Luukkonen, Ari

« edellinen sivu | seuraava sivu »

INSSI