Reflexive Event-B: Semantics and Correctness the EB4EB Framework.

Peter Rivière Neeraj Kumar Singh Yamine Aït-Ameur

Published in: IEEE Trans. Reliab. (2024)

Keyphrases

learning algorithm
probabilistic model
service quality
logical framework
databases
theoretical framework
conceptual framework