Login / Signup

Verification of Graph-based Model Transformations Using Alloy.

Xiaoliang WangFabian BüttnerYngve Lamo
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
  • mathematical model
  • neural network
  • probability distribution
  • formal model
  • database
  • learning algorithm
  • multiscale
  • cost function
  • neural network model
  • prediction model
  • graph model