Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword mallintarkastus / yhteensä: 13

viitteet: 7-13 / 13

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
7.	Modeling the SpaceWire Network Architecture with the Lyra Method	2006	Honkola, Jukka
8.	Solving Boolean Equation Systems	2005	Keinänen, Misa
9.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
10.	Automated Testing of Buchi Automata Translators for Linear Temporal Logic	2000	Tauriainen, Heikki
11.	Formal verification in ASIC design	2000	Kapanen, Harri
12.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
13.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo

« edellinen sivu | seuraava sivu »

INSSI