„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formal Methods in Computer-Aided Design – 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  Hu, Alan J. 2004 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Formal Methods for Quantitative Aspects of Programming Languages – 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
  Aldini, Alessandro 2010 Springer Berlin Heidelberg
• Requirements Engineering: Foundation for Software Quality – 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
  Berry, Daniel ; Franch, Xavier 2010 Springer Berlin Heidelberg
• Formal methods and software engineering – proceedings
  Breitman, Karin 2009 Springer
• Teaching formal methods – second international conference ; proceedings
  Gibbons, Jeremy 2009 Springer
• Formal methods – foundations and applications : revised selected papers
  Oliveira, Marcel Vinícius Medeiros 2009 Springer
• Formal methods – second world congress ; proceedings
  Cavalcanti, Ana 2009 Springer
• Formal methods for industrial critical systems – 14th international workshop ; proceedings
  Alpuente, María 2009 Springer
• Web services and formal methods – 5th international workshop ; revised selected papers
  Bruni, Roberto 2009 Springer
• Leveraging applications of formal methods, verification and validation – third international symposium ; proceedings
  Margaria, Tiziana 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Formal methods for computational systems biology – advanced lectures
  Bernardo, Marco 2008 Springer
• Formal methods in systems biology – first international workshop ; proceedings
  Fisher, Jasmin 2008 Springer
• Formal methods – proceedings
  Cuellar, Jorge Ricardo 2008 Springer
• Formal methods for open object based distributed systems – 10th IFIP WG 6.1 international conference ; proceedings
  Barthe, Gilles 2008 Springer
• Formal methods for industrial critical systems – 12th international workshop ; revised selected papers
  Leue, Stefan 2008 Springer
• Formal methods for components and objects – 5th international symposium ; revised lectures
  Boer, Frank S. ˜deœ 2007 Springer
• Formal methods and stochastic models for performance evaluation – proceedings
  Wolter, Katinka 2007 Springer
• Integrated formal methods – 6th international conference ; proceedings
  Davies, Jim 2007 Springer