×
2005
Components and Contracts for Embedded Software.
[DOI]
Shuyu Li
,
XiaoJiang Li
,
Jian Wu
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005