《南京理工大学学报》（自然科学版）
过刊查询页面
关键词中包括
software verification
的文章
1
构件化嵌入式软件设计的能耗性质分析与验证
曹 东
1
, 胡 军
2
,
3
, 徐丙凤
2
2009年01期 [26－31][
摘要
](
356
)(
3
)