Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword model checking / yhteensä: 20

viitteet: 3-12 / 20

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
3.	Large Scale Model Checking: Distributed State Space Generation using MapReduce	2011	Zhang, Zhengkui
4.	A practical model checking approach using SATABS	2010	Juslin, Veli-Pekka
5.	Model checking embedded control software	2010	Frits, Juho
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

« edellinen sivu | seuraava sivu »

INSSI