Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword model checking / yhteensä: 20

viitteet: 15-20 / 20

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
15.	On Model Checking Safety Properties	2002	Latvala, Timo
16.	Automated Testing of Buchi Automata Translators for Linear Temporal Logic	2000	Tauriainen, Heikki
17.	Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints	2000	Latvala, Timo
18.	Formal verification in ASIC design	2000	Kapanen, Harri
19.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
20.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo

« edellinen sivu | seuraava sivu »

INSSI