Inssi

Helecon

Tenttu

haku: @keyword predikaatti/transitio -verkot / yhteensä: 2

viitteet: 1-2 / 2

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Extending Verification of Industrial TNSDL Programs with Formal Methods by Using EMMA	1998	Manner, Tapio
2.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus

« edellinen sivu | seuraava sivu »

INSSI