Inssi

Helecon

Asiasanasto

Tenttu

haku: @supervisor Ojala, Leo / yhteensä: 266

viitteet: 11-20 / 266

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
11.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
12.	Implementing the Front-End of an SDL Compiler	1998	Mäkelä, Marko
13.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
14.	On the Structure of Delegation Networks	1997	Aura, Tuomas
15.	Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics	1997	Simons, Patrik
16.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
17.	Dynamical analysis of SDL programs with Predicate/Transition nets	1997	Jyrinki, Tero
18.	Enabling Broadband Services	1997	Junttila, Tommi
19.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
20.	Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion	1997	Lassila, Eero

« edellinen sivu | seuraava sivu »

INSSI