An edition of Synchronous equivalence
(2001)
Synchronous Equivalence
Formal Methods for Embedded Systems
1 edition
by Harry Hsieh, Felice Balarin, and Alberto L. Sangiovanni-Vincentelli
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Synchronous Equivalence: Formal Methods for Embedded Systems
January 15, 2001, Springer
Hardcover
in English
- 1 edition
079237262X 9780792372622
|
aaaa
|
Book Details
First Sentence
"The POLIS codesign framework is a collection of related tools that help the designer to take behavioral specifications all the way down to actual implementations."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| February 25, 2022 | Edited by ImportBot | import existing book |
| February 12, 2019 | Created by MARC Bot | import existing book |