Image from Amazon.com
Synchronous Equivalence: Formal Methods for Embedded Systems
Material type:
TextPublication details: New York Kluwer Academic / Plenum Publishers 2001Description: 136pISBN: - 9780792372622
- 004.16 HSI
| Item type | Current library | Item location | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Reference Book
|
NIMA Knowledge Centre | 7th Floor Silence Zone | Reference | 004.16 HSI (Browse shelf(Opens below)) | Not For Loan | T0034992 |
Total holds: 0
Introduction The Polis Codesign Framework Codesign Finite State Machines Formal Verification of CFSM Specifications Synchronous Equivalence Static Equivalence Analysis Communication Analysis Refining Communication Analysis Conclusions and Future Directions
There are no comments on this title.
Log in to your account to post a comment.