Login / Signup
Verifying simulink stateflow model: timed automata approach.
Yixiao Yang
Yu Jiang
Ming Gu
Jia-Guang Sun
Published in:
ASE (2016)
Keyphrases
</>
high level
prior knowledge
experimental data
machine learning
information retrieval
state space
decision making
probabilistic model
management system
graphical models
input data
theoretical framework
process model
formal model
control algorithm
timed automata