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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

18 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationDependable Computing Conference (EDCC), 2012 Ninth European
EditorsMiguel Pupo Correia CC
PublisherIEEE
Pages156–161
ISBN (Print)978-1-4673-0938-7
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
EventEuropean Dependable Computing Conference (EDCC) - Ninth European Dependable Computing Conference (EDCC), 2012
Duration: 8 May 201211 May 2012

Conference

ConferenceEuropean Dependable Computing Conference (EDCC)
Period08/05/1211/05/12

Cite this