Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.

Sarah Benyagoub Yamine Aït Ameur Klaus-Dieter Schewe

Published in: ABZ (2020)

Keyphrases

learning systems
complex systems
distributed systems
machine learning
information retrieval
knowledge based systems
computer systems
intelligent systems
event driven
data sets
event detection
computational intelligence
management system
relational databases
expert systems
data structure
case study