Using SPIN to Check Simulink Stateflow Models.

Chikatoshi Yamada D. Michael Miller

Published in: Int. J. Networked Distributed Comput. (2016)

Keyphrases

prior knowledge
computational model
complex systems
image processing
pairwise
control system
statistical model
experimental data
modeling framework