11 results · clear filters Sort: newest oldest name

1. IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
   series, 40 events, 1988 to 2026
   MathematicsComputer and information sciences
   s109q69
2. Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China (FORTE, PSTV)
   1999-10-05/08 · Beijing, People's Republic of China
   Computer and information sciences
   e113t4n
3. 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 (FORTE, PSTV)
   1998-01-01 · Paris, France
   Computer and information sciences
   e113t3q
4. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan (FORTE, PSTV)
   1997-01-01 · Osaka, Japan
   Computer and information sciences
   e113t2s
5. Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 (FORTE, PSTV)
   1996-10-08/11 · Kaiserslautern, Germany
   Computer and information sciences
   e113t1v
6. Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (FORTE)
   1995-01-01 · Montreal, Canada
   Computer and information sciences
   e113t0x
7. Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 (FORTE)
   1994-01-01 · Bern, Switzerland
   Computer and information sciences
   e113szz
8. Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 (FORTE)
   1993-10-26/29 · Boston, United States
   Computer and information sciences
   e113sy1
9. Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 (FORTE)
   1992-10-13/16 · Perros-Guirec, France
   Computer and information sciences
   e113sx3
10. Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 (FORTE)
    1991-11-19/22 · Sydney, Australia
    Computer and information sciences
    e113sw5
11. Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 (FORTE)
    1990-11-05/08 · Madrid, Spain
    Computer and information sciences
    e113sv7

As JSON: https://labs.confref.org/api/search?series=s109q69&from=1990&to=1999