Inssi

Helecon

Asiasanasto

Tenttu

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

viitteet: 35-44 / 44

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
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
39.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
40.	Specification-Based Test Selection in Formal Conformance Testing	2003	Pyhälä, Tuomo
41.	On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata	2003	Tauriainen, Heikki
42.	Model Based Testing Using UML	2003	Cankar, Nikolaj
43.	Automated Testing of Buchi Automata Translators for Linear Temporal Logic	2000	Tauriainen, Heikki
44.	Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints	2000	Latvala, Timo

« edellinen sivu | seuraava sivu »

INSSI