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]
@inproceedings{FindenigE10, title = {State chart refinement validation from approximately timed to cycle callable models}, author = {Rainer Findenig and Wolfgang Ecker}, year = {2010}, doi = {10.1109/ISSOC.2010.5625551}, url = {https://doi.org/10.1109/ISSOC.2010.5625551}, researchr = {https://researchr.org/publication/FindenigE10}, cites = {0}, citedby = {0}, pages = {72-75}, booktitle = {2010 International Symposium on System on Chip, SoC 2010, Tampere, September 29-30, 2010}, publisher = {IEEE}, isbn = {978-1-4244-8279-5}, }