A Refinement-Based Approach to Developing Critical Multi-Agent Systems
Tekijät: | Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis |
---|---|
Tekijöiden määrä: | 3 |
Kieli: |
englanti |
Julkaisutyyppi: |
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä |
Julkaisufoorumiluokka : | 1 |
JUFO-ID: | 70683 |
Julkaisija: | Inderscience Enterprises Ltd. |
Julkaisuvuosi: |
2013 |
ISSN: |
1757-8779 |
Volyymi: | 4 |
Numero: | 1 |
Sivunumerot: | 69 - 91 |
Tieteenala: |
Luonnontieteet Tietojenkäsittely ja informaatiotieteet |
Koulutusala: |
Luonnontieteellinen |
Paikalliset tekijät ja heidän affiliaationsa: |
Troubitsyna, Elena - Åbo Akademi, Datavetenskap Pereverzeva, Inna - Åbo Akademi, Datavetenskap Laibinis, Linas - Åbo Akademi, Datavetenskap |
Sarja: |
International Journal of Critical Computer-Based Systems |
Organisaation sisäinen affiliaatio: |
Åbo Akademi, Datavetenskap |