Error Detection Using BMC in a Parallel Environment.

Subramanian K. Iyer Jawahar Jain Mukul R. Prasad Debashis Sahoo Thomas Sidle

Published in: CHARME (2005)

Keyphrases

error detection
error correction
error recovery
mobile robot
real time
dynamic environments
data streams
data management