中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1462-5970
刊名
IEE Proceedings
参考译名
英国电气工程师学会志:软件
收藏年代
1999~2006
关联期刊
参考译名
收藏年代
IET Software
英国电气工程师学会志:软件
2007~2013
全部
1999
2000
2001
2002
2003
2004
2005
2006
2003, vol.150, no.1
2003, vol.150, no.2
2003, vol.150, no.3
2003, vol.150, no.4
2003, vol.150, no.5
2003, vol.150, no.6
题名
作者
出版年
年卷期
Comments on the probability model for the modified condition/decision coverage method of testing software
A. L. White
2003
2003, vol.150, no.1
Fine tuning the scheduling of tasks through a genetic algorithm: application to posix1003.1b compliant systems
N. Navet; J. Migge
2003
2003, vol.150, no.1
Combining abductive reasoning and inductive learning to evolve requirements specifications
A. S. d'Avila Garcez; A. Russo; B. Nuseibeh; J. Kramer
2003
2003, vol.150, no.1
Design methodology for construction of asynchronous pipelines with Handle-C
R. P. Self; M. Fleury; A. C. Downton
2003
2003, vol.150, no.1
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024