Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword formal methods / yhteensä: 9

viitteet: 1-9 / 9

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	PLC-ohjelmien verifiointi 3D-simulointimallien avulla	2010	Koukka, Henri
2.	Emerging markets for software testing tools based on formal methods and modelling	2004	Niemi, Jari
3.	Formal methods in protocol software processes	2000	Heiskanen, Lauri
4.	Applying CFFD equivalence as implementation relation in conformance testing	1999	Luukkala, Vesa
5.	Analysis of cryptographic protocols via symbolic state space enumeration	1999	Huima, Antti
6.	Implementing the Front-End of an SDL Compiler	1998	Mäkelä, Marko
7.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
8.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
9.	Prosessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissa	1994	Rautila, Mika

« edellinen sivu | seuraava sivu »

INSSI