Towards Fully Decentralized Self-Adaptive Reactive Systems.

Mauro Caporuscio

Published in: ICPE Companion (2017)

Keyphrases

reactive systems
temporal logic
information flow
formal methods
model checking
petri net
state machines
cooperative
control flow
peer to peer
real time systems
expert systems
distributed systems
knowledge base
information systems
artificial intelligence
control parameters
data mining
databases
database