Sign in
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.
Qian Wang
Jing Liu
John Zhang
Hui Dou
Haiying Sun
HongTao Chen
Xiaohong Chen
Jifeng He
Published in:
SEKE (2022)
Keyphrases
</>
computational model
artificial intelligence
formal model
probabilistic model
conceptual model
design criteria
database
neural network model
life cycle
software architecture
statistical model
mathematical model
theoretical analysis
em algorithm
image sequences
high level
neural network