International Conference on Formal Methods for Open Object-Based Distributed Systems

ID:DA12007302

同姓同名の著者を検索

検索結果7件中 1-7 を表示

1

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

Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

Springer c2007 Lecture notes in computer science 4468

所蔵館3館
2

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

Roberto Gorrieri, Heike Wehrheim (eds.)

Springer c2006 Lecture notes in computer science 4037

所蔵館7館
3

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

Martin Steffen, Gianluigi Zavattaro (eds.)

Springer c2005 Lecture notes in computer science 3535

所蔵館10館
4

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

Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

Springer c2003 Lecture notes in computer science 2884

所蔵館20館
5

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

edited by Bart Jacobs, Arend Rensink

Kluwer Academic Publishers c2002 The International Federation for Information Processing 81

所蔵館4館
6

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

edited by Scott F. Smith, Carolyn L. Talcott

Kluwer Academic Publishers c2000 The International Federation for Information Processing 49

所蔵館10館
7

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

edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri

Kluwer Academic c1999 The International Federation for Information Processing 10

所蔵館13館

この著者を外部サイトでさがす

関連著者

ページトップへ