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

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inter

Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv

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

Formal Techniques for Distributed Objects, Components, and Systems, Susanne Graf

Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 Intern

Model Driven Engineering for Distributed Real–Time Embedded Systems 2009: Advanc