Jump to main content

yr 〜
yr

Search results 16

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, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7273)

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, June 13-16, 2012 : proceedings : 7th international federated conferences on distributed computing techniques (DisCoTec) : 14th IFIP international conference on formal methods for open object-based distributed systems : 32nd IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2012 : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7273)
Paper図書
Springerc2012.<M17-13-524>
National Diet Library
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems (14th : 2012 : Stockholm, Swe...

Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th [i.e. 31st] IFIP WG 6.1 international conference, FORTE 2011 : Reykjavik, Iceland, June 6-9, 2011 : proceedings. : 6th international federated conferences on distributed computing techniques : 13th IFIP international conference on formal methods for open object-based distributed systems : 31st IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2011 : Jun 2011, Reykjavik, Iceland. (Lecture Notes in Computer Science ; 6722)

Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th [i.e. 31st] IFIP WG 6.1 international conference, FORTE 2011 : Reykjavik, Iceland, June 6-9, 2011 : proceedings. : 6th international federated conferences on distributed computing techniques : 13th IFIP international conference on formal methods for open object-based distributed systems : 31st IFIP international conference on formal techniques for networked and distributed systems : federated conference event DisCoTec 2011 : Jun 2011, Reykjavik, Iceland. (Lecture Notes in Computer Science ; 6722)
Paper図書
Springerc2011.<M17-11-3233>
National Diet Library
  • Author Heading...ingel, Dingel. International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavík, Ice...

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)
Paper図書
Springerc2008.<M17-08-2320>
National Diet Library
  • Author Heading..., Frank S. de. International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 : Oslo, Norway)

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, June 9-12, 2009 : proceedings. : international federated conferences on distributed computing techniques : DisCoTec conferences : 11th formal methods for open object-based distributed systems : 29th formal techniques for networked and distributed systems : Jun 2009, Lisboa, Portugal. (Lecture Notes in Computer Science ; 5522)

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, June 9-12, 2009 : proceedings. : international federated conferences on distributed computing techniques : DisCoTec conferences : 11th formal methods for open object-based distributed systems : 29th formal techniques for networked and distributed systems : Jun 2009, Lisboa, Portugal. (Lecture Notes in Computer Science ; 5522)
Paper図書
Springerc2009.<M17-10-1371>
National Diet Library
  • Author Heading...Heffter, Arnd. International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portug...

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)
Paper図書
Springerc2010.<M17-10-3359>
National Diet Library
  • Author Heading... Zucca, Elena. International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, the...

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)
Paper図書
Springerc2013.<M17-13-3340>
National Diet Library
  • Author Heading...ta di Firenze. International Conference on Formal Methods for Open Object-Based Distributed Systems (15th : 2013 : Florence, Ital...

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)
Paper図書
Springerc2007.<M17-07-2714>
National Diet Library
  • Author Heading..., Einar Broch. International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus)

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)
Paper図書
Springerc2006.<M17-06-2599>
National Diet Library
  • Author Heading...hrheim, Heike. International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy)

Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : fifth international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands. : Mar 2002, Enschede, the Netherlands. (IFIP ; 81)

Formal methods for open object-based distributed systems 5 : IFIP TC6/WG6.1 : fifth international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, 2002, Enschede, the Netherlands. : Mar 2002, Enschede, the Netherlands. (IFIP ; 81)
Paper図書
Kluwer Academicc2002.<M17-03-3415>
National Diet Library
  • Alternative Title...C6/WG6.1 : 5th international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, ...
  • Alternative Title...C6/WG6.1 : 5th international conference on formal methods for open object-based distributed systems (FMOODS 2002) : March 20-22, ...
  • Author HeadingJacobs, Bart. Rensink, Arend. International Conference on Formal Methods for Open Object-Based Distributed Systems (5th : 2002 : Enschede, Nethe...

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

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
Paper図書
Marcello M. Bonsangue, Einar Broch Johnsen (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Bonsangue, Marcello M. Johnse...

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

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Paper図書
Roberto Gorrieri, Heike Wehrheim (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto Wehrheim, H...

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Paper図書
Martin Steffen, Gianluigi Zavattaro (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Steffen, Martin Zavattaro, Gi...

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Paper図書
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Najm, Elie Nestmann, Uwe Stev...

Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands

Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands
Paper図書
edited by Bart Jacobs, Arend RensinkKluwer Academic Publishersc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Jacobs, Bart Rensink, Arend

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA
Paper図書
edited by Scott F. Smith, Carolyn L. TalcottKluwer Academic Publishersc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Smith, Scott F. Talcott, Caro...

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
Paper図書
edited by Paolo Ciancarini, Alessandro Fantechi, Robert GorrieriKluwer Academicc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Formal Methods for Open Object-Based Distributed Systems Ciancarini, Paolo Fantechi, A...

Reached to the end of result.

RSS