C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Prototype Generation from Formal Requirements Model.
Yilong Yang
Xiaoshan Li
Zhiming Liu
Wei Ke
Quan Zu
Xiaohong Chen
Published in:
CoRR (2018)
Keyphrases
</>
high level
machine learning
generation process
formal model
sensitivity analysis
process model
prior knowledge
multi agent
probabilistic model
d objects
theoretical analysis
computational model
statistical model
decision making
information retrieval
network model
data sets