基于SPIN的G语言系统模型的验证 (Verification of G Language System Model Based on SPIN).

Yan Xue Shuhong Wu Yaoli Wang

Published in: 计算机科学 (2018)

Keyphrases

programming language
data driven
model checking
natural language
specification language
room temperature
multi agent
evolutionary algorithm
operational semantics
machine learning
information retrieval
database systems
bayesian networks
multiscale
language learning