Sign in

A transformation methodology for Capella to Event-B models with DSL verification.

Khaoula BoubaAbderrahim Ait WakrimeYassine OuhammouRédouane Benaini
Published in: J. Comput. Lang. (2023)
Keyphrases
  • statistical models
  • genetic algorithm
  • information systems
  • experimental data
  • object oriented
  • general purpose
  • statistical model
  • event detection
  • statistical methods
  • mathematical models
  • modeling framework