Resilient Reactive Systems Based on Runtime Semantic Models.

Ester Giallonardo Francesco Poggi Davide Rossi Eugenio Zimeo

Published in: ISSRE Workshops (2019)

Keyphrases

semantic models
reactive systems
model checking
information flow
temporal logic
petri net
control flow
formal methods
semantic features
data flow
content based retrieval
spatial relations
semantic annotation
semantic information
database systems
latent semantic analysis
real time systems
temporal relations