Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application.

Shubhangi Salunkhe Randolf Berglehner Abdul Rasheeq

Published in: ABZ (2021)

Keyphrases

computational model
real time
cost function
probabilistic model
objective function
parameter estimation
mathematical model
network structure
autoregressive
object model
neural network model
conceptual model
experimental data
prior knowledge
reinforcement learning
information systems
genetic algorithm