Inssi

Helecon

Tenttu

haku: @keyword protocol verification / yhteensä: 3

viitteet: 1-3 / 3

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol	2003	Tynjälä, Teemu
2.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
3.	The modelling and analysis of a high speed data bus with predicate/transition nets	1994	Pyssysalo, Tino

« edellinen sivu | seuraava sivu »

INSSI