期刊


ISSN0018-9219
刊名Proceedings of the IEEE
参考译名电气与电子工程师学会会报
收藏年代1998～2013



全部

1998 1999 2000 2001 2002 2003
2004 2005 2006 2007 2008 2009
2010 2011 2012 2013

2003, vol.91, no.1 2003, vol.91, no.10 2003, vol.91, no.11 2003, vol.91, no.12 2003, vol.91, no.2 2003, vol.91, no.3
2003, vol.91, no.4 2003, vol.91, no.5 2003, vol.91, no.6 2003, vol.91, no.7 2003, vol.91, no.8 2003, vol.91, no.9

题名作者出版年年卷期
Hierachical modeling and analysis of embedded systemsRajeev Alur; Thao Dang; Joel Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar; Insup Lee; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky20032003, vol.91, no.1
Invisible formal methods for embedded control systemsAshish Tiwari; Natarajan Shankar; John Rushby20032003, vol.91, no.1
Physics-based encapsulation in embedded software for distributed sensing and control applicationsFeng Zhao; Chris Bailey-Kellogg; Markus P. J. Fromherz20032003, vol.91, no.1
The synchronous languages 12 years laterAlbert Benveniste; Paul Caspi; Stephen A. Edwards; Nicolas Halbwachs; Paul Le Guernic; Robert de Simone20032003, vol.91, no.1
Giotto: a time-triggered language for embedded programmingThomas A. Henzinger; Benjamin Horowitz; Christoph M. Kirsch20032003, vol.91, no.1
Building models of real-time systems from application softwareJoseph Sifakis; Stavros Tripakis; Sergio Yovine20032003, vol.91, no.1
The time-triggered architectureHermann Kopetz; Gunther Bauer20032003, vol.91, no.1
Taming heterogeneity-the Ptolemy approachJohan Eker; Jorn W. Janneck; Edward A. Lee; Jie Liu; Xiaojun Liu; Jozsef Ludvig; Stephen Neuendorffer; Sonia Sachs; Yuhong Xiong20032003, vol.91, no.1
Model-integrated development of embedded softwareGabor Karsai; Janos Sztipanovits; Akos Ledeczi; Ted Bapty20032003, vol.91, no.1
Memory system optimization of embedded softwareWayne Wolf; Mahmut Kandemir20032003, vol.91, no.1
12



制造业外文文献服务平台