Implementation of Control Systems using B Action Systems - A Case Study

Pontus Boström, Marina Walden

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	75–101
Journal	Nordic Journal of Computing
Volume	11
Issue number	2
Publication status	Published - 2004
MoE publication type	A1 Journal article-refereed

MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Boström, P., Tsiopoulos, L., Jansson, M. & Engblom, N.
01/05/00 → 28/02/03
Project: EU

Cite this