Inssi

Helecon

Asiasanasto

Tenttu

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

viitteet: 41-44 / 44

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
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