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

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

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

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG

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

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

From Specification to Embedded Systems Application by Achim Rettberg (English) P

Formal Methods for Embedded Distributed Systems - 9781441954596