Synchronous Equivalence : Formal Methods for Embedded Systems /

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechan...

Full description

Bibliographic Details

Main Author:	Hsieh, Harry
Corporate Author:	SpringerLink (Online service)
Other Authors:	Balarin, Felice, Sangiovanni-Vincentelli, Alberto
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2001.
Subjects:	Engineering. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book