Inssi

Helecon

Tenttu

search query: @keyword Predicate/Transition nets / total: 6

references: 1-6 / 6

« previous page | next page »

	title	year	author
1.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
2.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
3.	Dynamical analysis of SDL programs with Predicate/Transition nets	1997	Jyrinki, Tero
4.	PrT-net Based Analysis of Information Flow Security Nets	1995	Juopperi, Jari
5.	The modelling and analysis of a high speed data bus with predicate/transition nets	1994	Pyssysalo, Tino
6.	Towards Automatic Interpretation of S-Invariants of Predicate/Transition Nets	1988	Moslemie, Abbas

« previous page | next page »

INSSI