Sign in

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

Tingting WuYunwei DongNing 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