acm sigbed
|
emsoft
|
participants
Yuhong Xiong
EMSOFT 2001: 1st International Workshop on Embedded Software
System-Level Types for Component-Based Design
Edward A. Lee
and
Yuhong Xiong
10.1007/3-540-45449-7_16
https://ptolemy.berkeley.edu/publications/papers/01/systemLevelType/sysType.pdf