Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword mallintarkastus / yhteensä: 13

viitteet: 1-10 / 13

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Rakennettavuuden arviointi arkkitehti- ja talotekniikkasuunnittelussa	2013	Forsblom, Kati
2.	Model checking embedded control software	2010	Frits, Juho
3.	Turvallisuuskriittisen automaation verifiointi mallintarkastuksella	2009	Hartikainen, Markus
4.	Model checking PSL safety properties	2009	Launiainen, Tuomas
5.	Model checking timed safety instrumented systems	2008	Lahtinen, Jussi
6.	Applying model checking to analysing safety instrumented systems	2008	Koskimies, Matti
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

« edellinen sivu | seuraava sivu »

INSSI