Foundations of Computer Software : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers /

Documenti analoghi

• Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
  di: Radu Calinescu, David Garlan
  Pubblicazione: (2012, c2012)
• Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers /
  di: Christine Choppy, Oleg Sokolsky
  Pubblicazione: (2010, c2010)
• Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
  di: Klaus Havelund, Manuel Núñez, Grigore Ro.u, Burkhart Wolff
  Pubblicazione: (2006, c2006)
• Graph Drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /
  Pubblicazione: (2013, c2013)
• Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings /
  di: Sven Apel, Ethan Jackson
  Pubblicazione: (2011, c2011)