Multi-thread Simulation-based Equivalence Checking between SIM and RTI.

Jian Hu Yongyang Hu Guanwu Wang Guilin Chen Haitao Yang Yun Kang Kang Wang

Published in: CSAE (2020)

Keyphrases

neural network
search algorithm
database
databases
information systems
web services
user interface
evolutionary algorithm
consistency checking
interactive dynamic influence diagrams