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

Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 Internationa

Formal Methods for Open Object-Based Distributed Systems, Elie Najm et Jean-Bern

Distributed Systems, Sape Mullender

Formal Methods for Embedded Distributed Systems: How To Master The Complexity, M

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 Internationa

Protocol Test Systems, VI (IFIP Transactions C: Communication Systems), Unknown

Formal Methods For Interactive Systems (Computers and People Series), Author Unk