Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

by HarryHsieh (Author), Felice Balarin (Author), Alberto L . Sangiovanni - Vincentelli (Author)

Synopsis

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.

$158.58

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 136
Publisher: Springer
Published: 31 Dec 2000

ISBN 10: 079237262X
ISBN 13: 9780792372622