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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Research output: Contribution to journalArticleScientificpeer-review

13 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