Automated synthesis and verification of embedded systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automated synthesis and verification of embedded systems: wishful thinking or reality?

Source

Asia and South Pacific Design Automation Conference archive
Proceedings of the 2009 Asia and South Pacific Design Automation Conference table of contents

Yokohama, Japan

Article No. 2

Year of Publication: 2009

ISBN:978-1-4244-2748-2

Author

Wolfgang Rosenstiel

Wilhelm-Schickard-Institute for Informatics, University of Tuebingen, Germany

Sponsors

: IEEE Circuits and Systems Society
SIGDA: ACM Special Interest Group on Design Automation
IEICE ESS : Institute of Electronics, Information and Communication Engineers - Engineering Sciences Society
IPSJ SIGSLDM : Information Processing Society of Japan - SIG System LSI Design Methodology

Publisher

IEEE Press Piscataway, NJ, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

Adobe Acrobat

QuickTime

Windows Media Player

Real Player