Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword SDL / yhteensä: 20

viitteet: 1-10 / 20

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
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

« edellinen sivu | seuraava sivu »

INSSI