BibTeX
@MISC{Hamon04anoperational,
author = {Gregoire Hamon and John Rushby},
title = {An Operational Semantics for Stateflow},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems.
