期刊


ISSN1462-5970
刊名IEE Proceedings
参考译名英国电气工程师学会志：软件
收藏年代1999～2006

关联期刊参考译名收藏年代
IET Software英国电气工程师学会志：软件2007～2013


全部

1999 2000 2001 2002 2003 2004
2005 2006

2001, vol.148, no.1 2001, vol.148, no.2 2001, vol.148, no.3 2001, vol.148, no.4 2001, vol.148, no.5 2001, vol.148, no.6

题名作者出版年年卷期
Permabase: predicting the performance of distributed systems at the design stageG.Waters; P. Linington; D. Akehurst; P. Utton; G. Martin20012001, vol.148, no.4
Rate-based packet scheduling paradigmH. -Y. Tyan; C. -J. Hou20012001, vol.148, no.4
Specification and validation of dynamic systems using temporal logicS. M. Cho; H. H. Kim; S. D. Cha; D. H. Bae20012001, vol.148, no.4
Formal semantics of an industrially applicable variant of the specification and description languageC. Grealish20012001, vol.148, no.4



制造业外文文献服务平台