„Model Checking“

Suchergebnisse

1.904 Treffer

• Objects, components, models and patterns – 47th international conference, tools EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings
  Oriol, Manuel 2009 Springer
• Tests and proofs – third international conference ; proceedings
  Dubois, Catherine 2009 Springer
• Model checking software – proceedings
  Păsăreanu, Corina S. 2009 Springer
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2008 Springer
• Quality of software architectures – models and architectures ; proceedings
  Becker, Steffen 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Summary of Dagstuhl Seminar 06172 on Directed Model Checking
  Edelkamp, Stefan ; Leue, Stefan ; Visser, Willem 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Formal modeling and analysis of timed systems – 6th international conference ; proceedings
  Cassez, Franck 2008 Springer
• Objects, components, models and patterns – 46th international conference, tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008 ; proceedings
  Paige, Richard F. 2008 Springer
• Model checking software – proceedings
  Havelund, Klaus 2008 Springer
• Testing of software and communicating systems – 20th IFIP TC 6 WG 6.1 international conference ; proceedings
  Suzuki, Kenji 2008 Springer
• Formal methods for industrial critical systems – 12th international workshop ; revised selected papers
  Leue, Stefan 2008 Springer
• Tools and algorithms for the construction and analysis of systems – 14th international conference ; proceedings
  Ramakrishnan, C. R. 2008 Springer
• Tests and proofs – first international conference ; revised papers
  Gurevich, Yuri 2007 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Abstraction, reformulation, and approximation – 7th international symposium ; proceedings
  Miguel, Ian 2007 Springer
• Testing of software and communicating systems – 19th IFIP TC6/WG6.1 international conference ; proceedings
  Petrenko, Alexandre 2007 Springer
• Formal modeling and analysis of timed systems – 5th international conference ; proceedings
  Raskin, Jean-François 2007 Springer
• Model checking and artificial intelligence – 4th workshop ; revised selected and invited papers
  Edelkamp, Stefan 2007 Springer