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