BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment

Zhaoyi Luo, Joanne M. Atlee. BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment. In Tijs van der Storm, Emilie Balland, Dániel Varró, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016. pages 105-117, ACM, 2016. [doi]

Abstract

Abstract is missing.