Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Baskı/Yayın Bilgisi 2006

Formal techniques for distributed systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden,...

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Giese, Holger., Rosu, Grigore.
Baskı/Yayın Bilgisi 2012

Formal methods for open object-based distributed systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Barthe, Gilles., Boer, Frank S. de.
Baskı/Yayın Bilgisi c200

Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Bonsangue, Marcello M., Johnsen, Einar Broch.
Baskı/Yayın Bilgisi c200

Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, Ju...

Yazar: International Conference on Formal Methods for Open Object-Based Distributed Systems, Lee, David., Lopes, Antonia., Poetzsch-Heffter, Arnd.
Baskı/Yayın Bilgisi 2009