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

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

Formal Methods for Embedded Distributed Systems: How to Master the Complexity

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

Formal Methods for Control of Nonlinear Systems, Hardcover by Li, Yinan; Liu,...

Functional Safety for Embedded Systems by Guoqi Xie (English) Hardcover Book

Formal Methods for Control of Nonlinear Systems, Hardcover by Li, Yinan; Liu,...