长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1751-8806
刊名
IET Software
参考译名
英国电气工程师学会志:软件
收藏年代
2007~2013
关联期刊
参考译名
收藏年代
IEE Proceedings
英国电气工程师学会志:软件
1999~2006
全部
2007
2008
2009
2010
2011
2012
2013
2008, vol.2, no.1
2008, vol.2, no.2
2008, vol.2, no.3
2008, vol.2, no.4
2008, vol.2, no.5
2008, vol.2, no.6
题名
作者
出版年
年卷期
Faithful mapping of model classes to mathematical structures
A. Darvas; P. Muller
2008
2008, vol.2, no.6
Verification of class liveness properties with Java modelling language
A. Giorgetti; J. Groslambert; J. Julliand; O. Kouchnarenko
2008
2008, vol.2, no.6
Reducing the use of nullable types through non-null by default and monotonic non-null
P. Chalin; P. R. James; F. Rioux
2008
2008, vol.2, no.6
Formal verification of systems with an unlimited number of components
P. Varekova; B. Zimmerova; P. Moravec; I. Cerna
2008
2008, vol.2, no.6
Assume-guarantee testing for software components
D. Giannakopoulou; C. S. Pasareanu; C. Blundell
2008
2008, vol.2, no.6
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024