Login / Signup

Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks.

Sarah BenyagoubYamine Aït AmeurMeriem OuederniAtif MashkoorAhmed Medeghri
Published in: J. Softw. Evol. Process. (2020)
Keyphrases
  • case study
  • user interface
  • design process
  • databases
  • knowledge based systems
  • engineering design
  • website
  • event detection
  • design principles
  • design decisions