Portable parallel logic and fault simulation.

Robert B. Mueller-Thuns Daniel G. Saab Robert F. Damiano Jacob A. Abraham

Published in: ICCAD (1989)

Keyphrases

asynchronous cellular automata
fault diagnosis
modal logic
parallel implementation
parallel processing
parallel execution
fault detection
data sets
lightweight
logic programming
multi agent systems
numerical simulations
mobile robot
simulation environment
simulation models
logical framework
information systems