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

Pontus Boström, Marina Walden

Research output: Contribution to journalArticleScientificpeer-review

Original languageUndefined/Unknown
Pages (from-to)75–101
JournalNordic Journal of Computing
Volume11
Issue number2
Publication statusPublished - 2004
MoE publication typeA1 Journal article-refereed

Cite this