Formal Goal-Oriented Development of Resilient MAS in Event-B

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

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

9 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationReliable Software Technologies (Ada-Europe 2012)
EditorsM Brorsson, LM Pinho
PublisherSpringer
Pages147–161
ISBN (Print)978-3-642-305
DOIs
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Reliable Software Technologies - International Conference on Reliable Software Technologies
Duration: 1 Jan 2012 → …

Conference

ConferenceInternational Conference on Reliable Software Technologies
Period01/01/12 → …

Cite this