1
by Holzmann, Frédéric
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... middleware for fault-tolerant architecture -- Agents derived from the robotic field -- Tactic agent...