Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword verification / yhteensä: 33

viitteet: 28-33 / 33

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
28.	Product Level Verification and Validation Process for Nokia SDH Equipment	1997	Kaitajärvi, Reima
29.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
30.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
31.	VHDL Test Bench Approach to ASIC Design Validation and Verification	1996	Zetterman, Tommi
32.	State Diagram Based Testing of ISDN Supplementary Services	1995	Hainari, Markku
33.	Statistical Usage Testing of Telecommunication Software	1995	Sjöblom, Johan

« edellinen sivu | seuraava sivu »

INSSI