Login / Signup
A fairness-based refinement strategy to transform liveness properties in Event-B models.
Chenyang Zhu
Michael J. Butler
Corina Cîrstea
Thai Son Hoang
Published in:
Sci. Comput. Program. (2023)
Keyphrases
</>
complex systems
statistical models
parameter estimation
structural properties
neural network
machine learning
case study
selection strategy