IEEE - Institute of Electrical and Electronics Engineers, Inc. - Embedded systems design — Scientific challenges and work directions

2010 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Sifakis, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Lugano, Switzerland, Switzerland
Conference Date: 20 October 2010
Page(s): 11
ISBN (Electronic): 978-0-9835678-0-6
ISBN (Paper): 978-1-4577-0734-6
Regular:

The development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating Computer Science. Embedded systems are components integrating... View More

Advertisement