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