知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
1751-8806
刊名
IET Software
参考译名
英国电气工程师学会志:软件
收藏年代
2007~2013
关联期刊
参考译名
收藏年代
IEE Proceedings
英国电气工程师学会志:软件
1999~2006
全部
2007
2008
2009
2010
2011
2012
2013
2010, vol.4, no.1
2010, vol.4, no.2
2010, vol.4, no.3
2010, vol.4, no.4
2010, vol.4, no.5
2010, vol.4, no.6
题名
作者
出版年
年卷期
Compositional verification for component-based systems and application
S. Bensalem; M. Bozga; T. H. Nguyen; J. Sifakis
2010
2010, vol.4, no.3
Environment generation for validating event-driven software using model checking
O. Tkachuk; M. B. Dwyer
2010
2010, vol.4, no.3
Assume-guarantee verification of software components in SOFA 2 framework
P. Parizek; F. Plasil
2010
2010, vol.4, no.3
Synthesising certificates in networks of timed automata
B. Finkbeiner; H. J. Peter; S. Schewe
2010
2010, vol.4, no.3
制造业外文文献服务平台