Formal modeling and validation of Stateflow diagrams.

Chunqing Chen Jun Sun Yang Liu Jin Song Dong Manchun Zheng

Published in: Int. J. Softw. Tools Technol. Transf. (2012)

Keyphrases

model validation
dynamic aspects
real time
computer vision
case study
similarity measure
data structure
formal models