10 citations · 10 across the 2 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.SE2012★ 10 cited
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-a…
cs.SE2012
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements
Elena Troubitsyna
Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches…