Skip to main navigation Skip to search Skip to main content

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

    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