Login / Signup
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.
Ting Wang
Jun Sun
Xinyu Wang
Yang Liu
Yuanjie Si
Jin Song Dong
Xiaohu Yang
Xiaohong Li
Published in:
IEEE Trans. Software Eng. (2015)
Keyphrases
</>
timed automata
real time
empirical studies
factors affecting
data sets
neural network
artificial intelligence
e learning
user interface
state space
distributed systems
statistical analysis
theoretical framework
model checking
simulation study