On the Runtime Enforcement of Timed Properties.

Yliès Falcone Srinivas Pinisetty

Published in: RV (2019)

Keyphrases

petri net
structural properties
desirable properties
web services
user interface
evolutionary algorithm
access control
topological properties
key properties