Relative time rates in dynamic timed automata.

Said Layadi Ilham Kitouni Nabil Belala Djamel-Eddine Saïdouni

Published in: Int. J. Commun. Networks Distributed Syst. (2016)

Keyphrases

timed automata
model checking
dynamic environments
artificial intelligence
dynamically changing
database
information systems
web services
case study
special case
low cost
temporal logic
reachability analysis