5 results · clear filters Sort: newest oldest name

1. Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
   2021 · Paris, France
   Computer and information sciences
   e113snk
2. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
   2008-09-15/17 · Saint-Malo, France
   Computer and information sciences
   e103dk4
3. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006, FORMATS)
   2006-09-25/27 · Paris, France
   Computer and information sciences
   e103dh8
4. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (FORMATS, FTRTFT)
   2004-09-22/24 · Grenoble, France
   Computer and information sciences
   e113shv
5. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
   2003-09-06/07 · Marseille, France
   Computer and information sciences
   e103dfd

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