Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)

Walden, Marina (Co-Principal Investigator)
Sere, Kaisa (Principal Investigator)
Troubitsyna, Elena (Co-Principal Investigator)
Petre, Luigia (Co-Investigator)
Boström, Pontus (Co-Investigator)
Tsiopoulos, Leonidas (Co-Investigator)
Jansson, Micaela (Co-Investigator)
Engblom, Niklas (Co-Investigator)

Information Technology

4 Commissioned report
3 Conference contribution
1 Article

1 results

Filter

Implementation of Control Systems using B Action Systems - A Case Study
Boström, P. & Walden, M., 2004, In: Nordic Journal of Computing. 11, 2, p. 75–101
Research output: Contribution to journal › Article › Scientific › peer-review