Synchronous Equivalence: Formal Methods for Embedded Systems

By:

Hsieh, Harry

Contributor(s):

Sangiovanni-Vincentelli, Alberto
Balarin, Felice

Material type: Text

TextPublication details: New York Kluwer Academic / Plenum Publishers 2001Description: 136pISBN:

9780792372622

Subject(s):

Computer Engineering

DDC classification:

004.16 HSI

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)