Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword reachability analysis / total: 13

references: 6-13 / 13

« previous page | next page »

	title	year	author
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

« previous page | next page »

INSSI