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 2020-26-09 at 02:36