Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.

Inna Vistbakka Elena Troubitsyna

Published in: PAAMS (2020)

Keyphrases

fault tolerant
goal oriented
fault tolerance
safety critical
distributed systems
requirements engineering
requirements analysis
multi agent systems
load balancing
event detection
data marts
case study
state machine
high availability
cooperative
development process
information processing
mobile agent system