Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh: New

Synchronous Equivalence : Formal Methods for Embedded Systems, Hardcover by H...

Synchronous Equivalence: Formal Methods for Embedded Systems by Harry Hsieh (Eng

Equivalence, Invariants and Symmetry by Peter J. Olver (1995, Hardcover)

Hsieh - Synchronous Equivalence Formal Methods for Embedded Systems - X555z

Health Economics, Second Edition by Frank A. Sloan and Chee-Ruey Hsieh (2017,...