Synchronous Equivalence : Formal Methods for Embedded Systems / by Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2001.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
TK7888.4
|
|---|---|
| TK7888.4 | Available |