期刊文献+

人才政策全球化 企业福利制度大幅改进

下载PDF
导出
摘要 近日,全球领先的电子、光学部件及系统供应商HUBER+SUHNER入选中国杰出雇主奖。凭借企业在薪资与福利、工作环境、培训与学习、晋升和发展空间、企业文化、员工健康管理等方面的出色表现,灏讯中国获此殊荣。
机构地区 HUBER+SUHNER公司
出处 《电子技术应用》 北大核心 2009年第8期151-151,共1页 Application of Electronic Technique
  • 相关文献

参考文献5

二级参考文献53

  • 1蒋屹新,林闯,曲扬,尹浩.基于Petri网的模型检测研究[J].软件学报,2004,15(9):1265-1276. 被引量:20
  • 2董梅,卢道华.并行设计技术在模拟训练仪研制中的应用[J].情报指挥控制系统与仿真技术,2005,27(3):71-74. 被引量:1
  • 3陈光禹 潘中良.可测试性设计技术[M].北京:电子工业出版社,1997..
  • 4Liu Jianhua, Zhu Ming, Bian Jinian, et al. A Debug Sub-System for Embedded System Co-Verification[J]. ASIC, 2001. Proceedings. 4th International Conference on, 2001.Page(s): 778~780.
  • 5CLARKE EM,GRUMBERG O,PELED D.Model Checking[M].MIT Press,1999.
  • 6GRAF S,SAIDI H.Construction of Abstraction State Graphs with PVS[A].Proceedings of the CAV'97[C].1997.72-83.
  • 7CORTES LA,ELES P,PENG Z.Formal Coverification of Embedded Systems Using Model Checking[A].Proceedings of the 26th Euromicro Conference[C].2000.106-113.
  • 8CORTES LA,ELES P,PENG Z.Verification of Embedded Systems Using Petri Net Based Representation[A].Proceedings of the 13th International Symposium on System Synthesis[C].2000.149-155.
  • 9ALUR R,HENZINGER TA,HO PH.Automatic Symbolic Verification of Embedded Systems[J].IEEE Transactions on Software Engineering,1996,22(3):181-201.
  • 10HASSE J.Design Methodology for IP Providers[A].Proceedings 1999 Design,Automation and Test in Europe(DATE 1999)[C].Washington DC:IEEE Computer Society,1999.728-732.

共引文献38

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部