Decentralized runtime verification of message sequences in message-based systems.
Mahboubeh SamadiFatemeh GhassemiRamtin KhosraviPublished in: Acta Informatica (2023)
Keyphrases
- distributed systems
- communication channels
- management system
- intelligent systems
- cooperative
- data sets
- formal methods
- complex systems
- computer systems
- multi agent
- case study
- artificial intelligence
- building blocks
- learning systems
- genetic algorithm
- retrieval systems
- neural network
- database
- long sequences
- message transmission