Inssi

Helecon

Vocabulary

Tenttu

search query: @instructor Husberg, Nisse / total: 9

references: 1-9 / 9

« previous page | next page »

	title	year	author
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

« previous page | next page »

INSSI