Login / Signup
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks.
Sarah Benyagoub
Yamine Aït Ameur
Meriem Ouederni
Atif Mashkoor
Ahmed 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