International Conference on Formal Methods for Open Object-Based Distributed Systems
IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
Colloque international sur les méthodes formelles pour les systèmes répartis ouverts basés objet
International Conference on Formal Methods for Open Object-Based Distributed Systems (Amsterdam)
VIAF ID: 134433532 ( Corporate )
Permalink: http://viaf.org/viaf/134433532
Preferred Forms
- 210 | | ‡a Colloque international sur les méthodes formelles pour les systèmes répartis ouverts basés objet
- 111 2 _ ‡a IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
- 111 2 _ ‡a International Conference on Formal Methods for Open Object-Based Distributed Systems
- 110 2 _ ‡a International Conference on Formal Methods for Open Object-Based Distributed Systems
-
-
-
- 111 2 _ ‡a International Conference on Formal Methods for Open Object-Based Distributed Systems (Amsterdam)
4xx's: Alternate Name Forms (15)
5xx's: Related Names (3)
Works
Title | Sources |
---|---|
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 | |
International Conference on Formal Methods for Open Object-Based Distributed Systems (4th : 2000 : Stanford, Calif.). Formal methods for open object-based distributed systems IV, 2000: |