Formal Development of Critical Multi-Agent Systems: A Refinement Approach

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Editors: Miguel Pupo Correia CC
Publisher: IEEE Computer Society
Publication year: 2012
Publisher: IEEE
Book title: Dependable Computing Conference (EDCC), 2012 Ninth European
Start page: 156
End page: 161
ISBN: 978-1-4673-0938-7

Last updated on 2019-19-10 at 03:31