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

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Publisher: Inderscience Enterprises Ltd.
Publication year: 2013
Journal: International Journal of Critical Computer-Based Systems
Volume number: 4
Issue number: 1
Start page: 69
End page: 91
eISSN: 1757-8787

Last updated on 2019-15-06 at 06:00