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

Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1: New

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International C...

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

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z