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

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Förläggare: Inderscience Enterprises Ltd.
Publiceringsår: 2013
Tidskrift: International Journal of Critical Computer-Based Systems
Volym: 4
Nummer: 1
Artikelns första sida, sidnummer: 69
Artikelns sista sida, sidnummer: 91
eISSN: 1757-8787

Senast uppdaterad 2019-22-07 vid 02:45