Automatic Generation of Formal BIP Models for C Programs.

Qiming Li Xia Yang Haiyong Sun Zhe Yan

Published in: CSAE (2023)

Keyphrases

decision making
statistical models
neural network model
formal model
data sets
decision trees
probabilistic model
model selection
metamodel