External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Design and optimization of multi-clocked embedded systems using formal technique

Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and optimization of multi-clocked embedded systems using formal technique. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 703-706, ACM, 2013. [doi]

Authors

Yu Jiang

This author has not been identified. Look up 'Yu Jiang' in Google

Zonghui Li

This author has not been identified. Look up 'Zonghui Li' in Google

Hehua Zhang

This author has not been identified. Look up 'Hehua Zhang' in Google

Yangdong Deng

This author has not been identified. Look up 'Yangdong Deng' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Ming Gu

This author has not been identified. Look up 'Ming Gu' in Google

Jiaguang Sun

This author has not been identified. Look up 'Jiaguang Sun' in Google
runs on