Hsieh - Synchronous Equivalence Formal Methods for Embedded Systems - X555z

Out of Now: The Lifeworks of Tehching Hsieh, Adrian Heathfield 2009 hardback VGC

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

Kordon - Formal Methods for Embedded Distributed Systems How to mast - X555z

Software Engineering for Embedded Systems Methods Practical Techniq - X555z