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

Formal Methods for Embedded Distributed Systems - 9781441954596

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

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

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 Intern

Design Methods and Applications for Distributed Embedded Systems: IFIP 18th Worl