Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword mallintarkastus / yhteensä: 13

viitteet: 11-13 / 13

« edellinen sivu | seuraava sivu »

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