Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword SDL / total: 20

references: 1-10 / 20

« previous page | next page »

	title	year	author
1.	Automatic Translation of SDL into High Level Petri Nets	2004	Aalto, Annikka
2.	Automatic Translation of SDL into High Level Petri Nets	2004	Aalto, Annikka
3.	Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol	2003	Tynjälä, Teemu
4.	Analysointityökalun käytettävyyden parantaminen	2002	Karilinna, Timo
5.	Analysointityökalun käytettävyyden parantaminen	2002	Karilinna, Timo
6.	Deriving a protocol system implementation from a graphical description	2002	Knorring, Niklas von
7.	Deriving a protocol system implementation from a graphical description	2002	Knorring, Niklas von
8.	Transporting Signaling Connection Control Part messages over IP Networks	2001	Borrego, Antonio
9.	Formal methods in protocol software processes	2000	Heiskanen, Lauri
10.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu

« previous page | next page »

INSSI