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

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Redaktörer: Miguel Pupo Correia CC
Förläggare: IEEE Computer Society
Publiceringsår: 2012
Förläggare: IEEE
Moderpublikationens namn: Dependable Computing Conference (EDCC), 2012 Ninth European
Artikelns första sida, sidnummer: 156
Artikelns sista sida, sidnummer: 161
ISBN: 978-1-4673-0938-7

Senast uppdaterad 2019-08-12 vid 02:44