• Shop by category
  • Powered by eBay
  • Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh (Eng

    • Item No : 135773667885
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $132.88
    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category