Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword model checking / yhteensä: 20

viitteet: 6-15 / 20

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
6.	Turvallisuuskriittisen automaation verifiointi mallintarkastuksella	2009	Hartikainen, Markus
7.	Model checking PSL safety properties	2009	Launiainen, Tuomas
8.	Counterexample analysis for automated refinement of data abstracted state machine models	2008	Ojala, Vesa
9.	Model checking timed safety instrumented systems	2008	Lahtinen, Jussi
10.	Applying model checking to analysing safety instrumented systems	2008	Koskimies, Matti
11.	Automatic test data generation for programming exercises with symbolic execution and Java PathFinder	2006	Ihantola, Petri
12.	Modeling the SpaceWire Network Architecture with the Lyra Method	2006	Honkola, Jukka
13.	Solving Boolean Equation Systems	2005	Keinänen, Misa
14.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
15.	On Model Checking Safety Properties	2002	Latvala, Timo

« edellinen sivu | seuraava sivu »

INSSI