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

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

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

Formal Methods for Embedded Distributed Systems: How to master the complexity by

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

Making Embedded Systems: Design - Paperback, by White Elecia - Very Good

Hsieh - Synchronous Equivalence Formal Methods for Embedded Systems - X555z