[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Translating concurrent action oriented specifications to synchronous guarded actions
Brandt, Jens; Schneider, Klaus; Shukla, Sandeep K.
- 作者Brandt, Jens; Schneider, Klaus; Shukla, Sandeep K.
- 文件大小519.47KB
- 发表时间2010
- DOI10.1145/1755888.1755896