Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.

Peter Riviere Neeraj Kumar Singh Yamine Aït Ameur Guillaume Dupont

Published in: NFM (2023)

Keyphrases

databases
main contribution
key properties
information systems
user satisfaction
framework enables
feature selection
website
clustering algorithm
hidden markov models
multi class
event recognition