Towards specification, modelling and analysis of fault tolerance in self managed systems.

Jeff Magee, Tom Maibaum

Browse the full ICSE paper archive.