Design of Reliable Embedded Systems (Academy of Finland)

Walden, Marina (CoI)
Sere, Kaisa (Vastuullinen tutkija)
Troubitsyna, Elena (CoI)
Petre, Luigia (CoI)
Jansson, Micaela (CoI)
Qvist, MIlla (CoI)

Informaatioteknologia

Akronyymi	DESIRE
Tila	Päättynyt
Todellinen alku/loppupvm	01/01/99 → 31/12/01

3 Tutkimusraportti
1 Konferenssiartikkeli

Component-Based Asynchronous Circuit Design in B
Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; nro 377)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
13 Lataukset (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 366)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
27 Lataukset (Pure)
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 289)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
18 Lataukset (Pure)