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

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

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

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

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

Formal Methods for Embedded Distributed Systems - 9781441954596

Model Driven Engineering for Distributed Real-time Embedded Systems, Hardcove...