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