„checking“

Suchergebnisse

2.968 Treffer

• Tools and algorithms for the construction and analysis of systems – 10th international conference ; proceedings
  Jensen, Kurt 2004 Springer
• Integrated formal methods – 4th international conference ; proceedings
  Boiten, Eerke 2004 Springer
• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2003 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Formal techniques in real time and fault tolerant systems – 7th international symposium ; proceedings
  Damm, Werner 2002 Springer
• Formal methods in computer aided design – 4th international conference ; proceedings
  Aagaard, Mark 2002 Springer
• Formal techniques for networked and distributed systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Peled, Doron 2002 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2002 Springer
• Process algebra and probabilistic methods – performance modeling and verification ; second joint international workshop ; proceedings
  Hermanns, Holger 2002 Springer
• Tools and algorithms for the construction and analysis of systems – 9th international conference ; proceedings
  Garavel, Hubert 2003 Springer
• Abstraction, reformulation, and approximation – 5th international symposium ; proceedings
  Koenig, Sven 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer
• Formal methods in computer aided design – third international conference ; proceedings
  Hunt, Warren A. 2002 Springer
• Abstract state machines – theory and applications ; international workshop ; proceedings
  Gurevich, Yuri 2002 Springer
• Formal methods in computer aided design – second international conference ; proceedings
  Gopalakrishnan, Ganesh 2002 Springer
• Formal techniques in real time and fault tolerant systems – 5th international symposium ; proceedings
  Ravn, Anders P. 1999 Springer
• Compositionality – the significant difference ; international symposium ; revised lectures
  Roever, Willem-Paul ˜deœ 1999 Springer
• Theoretical and practical aspects of SPIN model checking – proceedings
  Dams, Dennis 1999 Springer
• Model checking software – proceedings
  Dwyer, Matthew 2001 Springer
• Modeling and verification of parallel processes – 4th summer school ; revised tutorial lectures
  Cassez, Franck 2001 Springer