Discovering and correcting a deadlock in a channel implementation.

Published in: Formal Aspects Comput. (2019)

Keyphrases

multi channel
neural network
information systems
bayesian networks
multiscale
implementation issues
artificial intelligence
image processing
hardware implementation