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 2020-09-07 at 05:10