• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Peter RiviereNeeraj Kumar SinghYamine Aït AmeurGuillaume 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