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

অনুযায়ী International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
প্রকাশিত 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,...

অনুযায়ী International Conference on Formal Methods for Open Object-Based Distributed Systems, Giese, Holger., Rosu, Grigore.
প্রকাশিত 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 /

অনুযায়ী International Conference on Formal Methods for Open Object-Based Distributed Systems, Barthe, Gilles., Boer, Frank S. de.
প্রকাশিত 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 /

অনুযায়ী International Conference on Formal Methods for Open Object-Based Distributed Systems, Bonsangue, Marcello M., Johnsen, Einar Broch.
প্রকাশিত 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...

অনুযায়ী International Conference on Formal Methods for Open Object-Based Distributed Systems, Lee, David., Lopes, Antonia., Poetzsch-Heffter, Arnd.
প্রকাশিত 2009