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

Research output: Contribution to journal › Article › Scientific › peer-review

15 Citations (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	69–91
Journal	International Journal of Critical Computer-Based Systems
Volume	4
Issue number	1
DOIs	https://doi.org/10.1504/IJCCBS.2013.053743
Publication status	Published - 2013
MoE publication type	A1 Journal article-refereed

Access to Document

@article{58aa2077c739440ea94cd8fb12e6c804,

title = "A Refinement-Based Approach to Developing Critical Multi-Agent Systems",

author = "Inna Pereverzeva and Elena Troubitsyna and Linas Laibinis",

year = "2013",

doi = "10.1504/IJCCBS.2013.053743",

language = "Odefinierat/ok{\"a}nt",

volume = "4",

pages = "69–91",

journal = "International Journal of Critical Computer-Based Systems",

issn = "1757-8779",

publisher = "Inderscience",

number = "1",

}

TY - JOUR

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

AU - Pereverzeva, Inna

AU - Troubitsyna, Elena

AU - Laibinis, Linas

PY - 2013

Y1 - 2013

U2 - 10.1504/IJCCBS.2013.053743

DO - 10.1504/IJCCBS.2013.053743

M3 - Artikel

SN - 1757-8779

VL - 4

SP - 69

EP - 91

JO - International Journal of Critical Computer-Based Systems

JF - International Journal of Critical Computer-Based Systems

IS - 1

ER -