Automated Prototype Generation From Formal Requirements Model.

Yilong Yang Xiaoshan Li Wei Ke Zhiming Liu

Published in: IEEE Trans. Reliab. (2020)

Keyphrases

probabilistic model
formal model
artificial intelligence
neural network
sensitivity analysis
statistical model
mathematical model
process model
theoretical framework
genetic algorithm
data sets
computational model
cost function
face recognition
high level
hierarchical structure
object model
generation process