State chart refinement validation from approximately timed to cycle callable models

Rainer Findenig, Wolfgang Ecker. State chart refinement validation from approximately timed to cycle callable models. In 2010 International Symposium on System on Chip, SoC 2010, Tampere, September 29-30, 2010. pages 72-75, IEEE, 2010. [doi]

Abstract

Abstract is missing.