Synchronous Equivalence - 9781461356646

Hsieh - Synchronous Equivalence Formal Methods for Embedded Systems - X555z

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

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

Software Engineering for Embedded Systems Methods Practical Techniq - X555z