Design and verification for CDC synchronization based on TMR.

Yuyang Fan Zhi Deng

Published in: IEICE Electron. Express (2020)

Keyphrases

machine learning
clustering algorithm
formal verification
data mining
feature selection
case study
multi agent
data structure
search algorithm
multi agent systems
relational databases
user interface
conceptual model