Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction


Ball, Elisabeth and Butler, Michael (2009) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction In, Methods, Models and Tools for Fault Tolerance LNCS 5454. Springer

Download

[img] PDF ejb04rMeMoTBook.pdf - Other
Download (202kB)
Item Type: Book Section
Organisations: Electronic & Software Systems
ePrint ID: 267134
Date :
Date Event
February 2009Published
Date Deposited: 22 Feb 2009 23:43
Last Modified: 23 Feb 2017 10:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267134

Actions (login required)

View Item View Item