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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

20 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Dependable Computing Conference (EDCC), 2012 Ninth European
Redaktörer	Miguel Pupo Correia CC
Förlag	IEEE
Sidor	156–161
ISBN (tryckt)	978-1-4673-0938-7
DOI	https://doi.org/10.1109/EDCC.2012.24
Status	Publicerad - 2012
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	European Dependable Computing Conference (EDCC) - Ninth European Dependable Computing Conference (EDCC), 2012 Varaktighet: 8 maj 2012 → 11 maj 2012

Konferens	European Dependable Computing Conference (EDCC)
Period	08/05/12 → 11/05/12

Åtkomst av dokument

@inproceedings{af5a372c181044cab65954461bb643b9,

title = "Formal Development of Critical Multi-Agent Systems: A Refinement Approach",

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

year = "2012",

doi = "10.1109/EDCC.2012.24",

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

isbn = "978-1-4673-0938-7",

pages = "156–161",

editor = "{Pupo Correia CC}, Miguel",

booktitle = "Dependable Computing Conference (EDCC), 2012 Ninth European",

publisher = "IEEE",

note = "null ; Conference date: 08-05-2012 Through 11-05-2012",

}

TY - GEN

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

AU - Pereverzeva, Inna

AU - Troubitsyna, Elena

AU - Laibinis, Linas

PY - 2012

Y1 - 2012

U2 - 10.1109/EDCC.2012.24

DO - 10.1109/EDCC.2012.24

M3 - Konferensbidrag

SN - 978-1-4673-0938-7

SP - 156

EP - 161

BT - Dependable Computing Conference (EDCC), 2012 Ninth European

A2 - Pupo Correia CC, Miguel

PB - IEEE

Y2 - 8 May 2012 through 11 May 2012

ER -