Login / Signup

Consistency-preserving refactoring of refinement structures in Event-B models.

Tsutomu KobayashiFuyuki IshikawaShinichi Honiden
Published in: Formal Aspects Comput. (2019)
Keyphrases
  • statistical models
  • metamodel
  • information systems
  • case study
  • machine learning algorithms