Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh (Eng
124,41 €
Design of Embedded Systems. Proposed Design Approach. Codesign Finite State Machines. CFSMs: Semantics. Mathematical Model. Formal Verification of CFSM Specifications. Synchronous Equivalence. The Synchronous Assumption and Synchronous Equivalence.
Jetzt bei Ebay:
