Login / Signup

Analysis on Strategies of Superposition Refinement of Event-B Specifications.

Tsutomu KobayashiFuyuki Ishikawa
Published in: ICFEM (2018)
Keyphrases
  • data analysis
  • quantitative analysis
  • machine learning
  • multiscale
  • evolutionary algorithm
  • multiresolution
  • statistical analysis