Using Long Diameter Verification to Evaluate Antiwear Property of Lubricity.

Mei Xiao Bi-Qi Yang Guo-Yu Zhao Zhong-Hao Wang Zhao-Lin Peng

Published in: ICCAIS (2018)

Keyphrases

genetic algorithm
model checking
concurrent systems
desirable properties
formal methods
data sets
databases
information systems
evolutionary algorithm
control system
temporal logic
global consistency
long sequences
monotonicity property