发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[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

[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
← 返回【学霸图书馆】主页