A Refinement-Based Approach to Developing Critical Multi-Agent Systems

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Research output: Contribution to journalArticleScientificpeer-review

    14 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)69–91
    JournalInternational Journal of Critical Computer-Based Systems
    Volume4
    Issue number1
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA1 Journal article-refereed

    Cite this