Formal Modeling and Analysis of Timed Systems
11. FORMATS 2013: Buenos Aires, Argentina
Víctor A. Braberman, Laurent Fribourg (Eds.): Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8053 ISBN 978-3-642-40228-9 [ contents ]
10. FORMATS 2012: London, UK
- Marcin Jurdzinski, Dejan Nickovic (Eds.): Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7595 ISBN 978-3-642-33364-4 [ contents ]
9. FORMATS 2011: Aalborg, Denmark
- Uli Fahrenberg, Stavros Tripakis (Eds.): Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6919 ISBN 978-3-642-24309-7 [ contents ]
8. FORMATS 2010: Klosterneuburg, Austria
- Krishnendu Chatterjee, Thomas A. Henzinger (Eds.): Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6246 ISBN 978-3-642-15296-2 [ contents ]
7. FORMATS 2009: Budapest, Hungary
- Joël Ouaknine, Frits W. Vaandrager (Eds.): Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5813 ISBN 978-3-642-04367-3 [ contents ]
6. FORMATS 2008: Saint Malo, France
- Franck Cassez, Claude Jard (Eds.): Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5215 ISBN 978-3-540-85777-8 [ contents ]
5. FORMATS 2007: Salzburg, Austria
- Jean-François Raskin, P. S. Thiagarajan (Eds.): Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4763 ISBN 978-3-540-75453-4 [ contents ]
4. FORMATS 2006: Paris, France
- Eugene Asarin, Patricia Bouyer (Eds.): Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4202 ISBN 3-540-45026-2 [ contents ]
3. FORMATS 2005: Uppsala, Sweden
- Paul Pettersson, Wang Yi (Eds.): Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3829 ISBN 3-540-30946-2 [ contents ]
2. FORMATS / 8. FTRTFT 2004: Grenoble, France
- Yassine Lakhnech, Sergio Yovine (Eds.): 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. Springer 2004 Lecture Notes in Computer Science 3253 ISBN 3-540-23167-6 [ contents ]
1. FORMATS 2003: Marseille, France
- Kim Guldstrand Larsen, Peter Niebert (Eds.): Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Springer 2003 Lecture Notes in Computer Science 2791 ISBN 3-540-21671-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team