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

Zhaoyi Luo, Joanne M. Atlee

Browse the full SLE paper archive.