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

Documents similaires

• 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 /
  Publié: (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).
  Publié: (1992)
• Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /
  Publié: (1990)
• Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, Atlanta, Georgia, USA, May 3-6, 1999 /
  Publié: (1999)
• Computer networks : proceedings, Compcon, Fall 82 : Twenty-fifth IEEE Computer Society International conference, Capital Hilton Hotel, Washington, D.C., September 20-23.
  Publié: (1982)