Login / Signup
Semantics-Driven Programming of Self-Adaptive Reactive Systems.
Ester Giallonardo
Francesco Poggi
Davide Rossi
Eugenio Zimeo
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2020)
Keyphrases
</>
reactive systems
control flow
model checking
temporal logic
information flow
formal semantics
petri net
formal methods
data flow
machine learning
semantic information
case study
state machines
low cost
knowledge representation
social networks
data mining