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

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

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache

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

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

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

Formal Methods for Embedded Distributed Systems - 9781441954596

Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini (En