Inssi

Helecon

Asiasanasto

Tenttu

haku: @instructor Husberg, Nisse / yhteensä: 9

viitteet: 1-9 / 9

« 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.	Analysointityökalun käytettävyyden parantaminen	2002	Karilinna, Timo
3.	A Reachability Analyser for Algebraic System Nets	2000	Mäkelä, Marko
4.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
5.	Implementing the Front-End of an SDL Compiler	1998	Mäkelä, Marko
6.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
7.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
8.	Dynamical analysis of SDL programs with Predicate/Transition nets	1997	Jyrinki, Tero
9.	Dialectical Nets: A Categorial Approach to Net Theory	1989	Lilius, Johan

« edellinen sivu | seuraava sivu »

INSSI