1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Remotely Operated Vehicle -- Modeling Concurrent Systems with Shared Resources -- Platform-Specific...