5 results · clear filters Sort: newest oldest name

1. Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
   2025 · Lille, France
   Computer and information sciences
   e113tgw
2. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
   2015-06-02/05 · Grenoble, France
   Computer and information sciences
   e103e6y
3. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2006-09-26/29 · Paris, France
   Computer and information sciences
   e103e26
4. 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
5. 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

As JSON: https://labs.confref.org/api/search?field=1&series=s109q69&country=FR