Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /

Схожі ресурси

• Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII), 3-6 November 1998, Paris, France /
  Опубліковано: (1998)
• International workshop on configurable distributed systems, 25-27 March 1992 : organised by the Computing and Control Division of the Institution of Electrical Engineers and the Department of Computing, Imperial College of Science, Technology and Medicine, in cooperation with IFIP WG 2.4 (Systems Implementation Languages) and IFIP WG 6.6 (Network Management), sponsored by IES (US Institution of Educational Services), ONREUR (US Office of Naval Research).
  Опубліковано: (1992)
• Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /
  Опубліковано: (1990)
• Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, Atlanta, Georgia, USA, May 3-6, 1999 /
  Опубліковано: (1999)
• Computer networks : proceedings, Compcon, Fall 82 : Twenty-fifth IEEE Computer Society International conference, Capital Hilton Hotel, Washington, D.C., September 20-23.
  Опубліковано: (1982)