C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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