Formal Specification and Transformation Method of System Requirements from B Method to AADL Model.

Tingting Wu Yunwei Dong Ning Hu

Published in: CSE (2014)

Keyphrases

cost function
similarity measure
probabilistic model
prior knowledge
mathematical model
statistical model
case study
objective function
neural network
real world
input data