Combining fault injection and model checking to verify fault tolerance in multi-agent systems (2009)

First Author: Jonathan E
Attributed to:  METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: 8th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS09)