Login / Signup

Parallel Bounded Verification of Alloy Models by TranScoping.

Nicolás RosnerCarlos Gustavo López PomboNazareno AguirreAli JaouaAli MiliMarcelo F. Frias
Published in: VSTTE (2013)
Keyphrases
  • social networks
  • parameter estimation
  • machine learning algorithms
  • experimental data
  • statistical models
  • statistical methods