Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword verification / yhteensä: 33

viitteet: 21-30 / 33

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
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
27.	Reverse Engineering tuotekehityksessä	1997	Rintanen, Marko
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

« edellinen sivu | seuraava sivu »

INSSI