C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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