Inssi

Helecon

Tenttu

search query: @keyword reachability analysis / total: 13

references: 10-13 / 13

« previous page | next page »

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