Design of Reliable Embedded Systems (Academy of Finland)

Walden, Marina (Co-Investigator)
Sere, Kaisa (Principal Investigator)
Troubitsyna, Elena (Co-Investigator)
Petre, Luigia (Co-Investigator)
Jansson, Micaela (Co-Investigator)
Qvist, MIlla (Co-Investigator)

Information Technology

3 Commissioned report
1 Conference contribution

3 results

Filter

2000
Component-Based Asynchronous Circuit Design in B
Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 377)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
10 Downloads (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 366)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
17 Downloads (Pure)
1999
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 289)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
11 Downloads (Pure)