Sign in
Consistency-preserving refactoring of refinement structures in Event-B models.
Tsutomu Kobayashi
Fuyuki Ishikawa
Shinichi Honiden
Published in:
Formal Aspects Comput. (2019)
Keyphrases
</>
statistical models
metamodel
information systems
case study
machine learning algorithms