Inssi

Helecon

Asiasanasto

Tenttu

haku: @instructor Heljanko, Keijo / yhteensä: 44

viitteet: 29-38 / 44

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
29.	Automaattinen ohjelmistotestaus LIME-testaustyökalulla	2009	Anttila, Martti Juho
30.	LIME-C - Rajapintamäärittelymenetelmä C-kielisille ohjelmille	2009	Kauttio, Janne
31.	Automatisoitu ohjelmistotestaus	2009	Nurminen, Sami
32.	Mallipohjainen ohjelmistotestaus	2009	Korhonen, Eetu
33.	Model checking PSL safety properties	2009	Launiainen, Tuomas
34.	Automated dynamic test generation for sequential Java programs	2008	Kähkönen, Kari
35.	Interface specification methods for software components	2008	Lampinen, Jani
36.	Model checking timed safety instrumented systems	2008	Lahtinen, Jussi
37.	Applying model checking to analysing safety instrumented systems	2008	Koskimies, Matti
38.	Modeling the SpaceWire Network Architecture with the Lyra Method	2006	Honkola, Jukka

« edellinen sivu | seuraava sivu »

INSSI