Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword reachability analysis / yhteensä: 13

viitteet: 5-13 / 13

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
5.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
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.	Dynamical analysis of SDL programs with Predicate/Transition nets	1997	Jyrinki, Tero
10.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
11.	Yhteyspohjaisten tietoliikenneprotokollien mallintamisesta ja analysoinnista	1995	Helme, Jukka
12.	PrT-net Based Analysis of Information Flow Security Nets	1995	Juopperi, Jari
13.	PETRI-verkkoanalysaattori PRENA:n laajennuksen suunnittelu	1989	Laine, Antti

« edellinen sivu | seuraava sivu »

INSSI