„Model-checking“

Suchergebnisse

1.904 Treffer

• Integrated formal methods – 6th international conference ; proceedings
  Davies, Jim 2007 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2007 Springer
• Tools and algorithms for the construction and analysis of systems – 13th international conference ; proceedings
  Grumberg, Orna 2007 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Quality of software architectures – revised papers
  Hofmeister, Christine 2006 Springer
• Formal methods for hardware verification – advanced lectures
  Bernardo, Marco 2006 Springer
• Formal approaches to software testing and runtime verification – revised selected papers
  Havelund, Klaus 2006 Springer
• Formal methods and software engineering – proceedings
  Liu, Zhiming 2006 Springer
• Formal modeling and analysis of timed systems – 4th international conference ; proceedings
  Asarin, Eugene 2006 Springer
• Formal approaches to software testing – 5th international workshop ; revised selected papers
  Grieskamp, Wolfgang 2006 Springer
• Construction and analysis of safe, secure, and interoperable smart devices – second international workshop ; revised selected papers
  Barthe, Gilles 2006 Springer
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Model checking software – proceedings
  Valmari, Antti 2006 Springer
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Automated technology for verification and analysis – third international symposium ; proceedings
  Peled, Doron 2005 Springer
• Correct hardware design and verification methods – 13th IFIP WG 10.5 advanced research working conference ; proceedings
  Borrione, Dominique 2005 Springer
• Quality of software architectures and software quality – proceedings
  Reussner, Ralf 2005 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Abstraction, reformulation and approximation – 6th international symposium ; proceedings
  Zucker, Jean-Daniel 2005 Springer
• Formal methods – proceedings
  Fitzgerald, John 2005 Springer