„Model-checking“

Suchergebnisse

1.904 Treffer

• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Model Driven Engineering Languages and Systems – 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
  Whittle, Jon ; Clark, Tony ; Kühne, Thomas 2010 Springer Berlin Heidelberg
• Model Checking Software – 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Trustworthly Global Computing – 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
  Wirsing, Martin 2010 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
  Kowalewski, Stefan 2010 Springer Berlin Heidelberg
• SPIN Model Checking and Software Verification – 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
  Havelund, Klaus 2000 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Formal Approaches to Software Testing – 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
  Grieskamp, Wolfgang 2005 Springer Berlin Heidelberg
• Construction and Analysis of Safe, Secure, and Interoperable Smart Devices – International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
  Barthe, Gilles 2005 Springer Berlin Heidelberg
• 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
• Tests and Proofs – 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
  Fraser, Gordon 2010 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 and software engineering – proceedings
  Breitman, Karin 2009 Springer
• Tools and algorithms for the construction and analysis of systems – 15th international conference ; proceedings
  Kowalewski, Stefan 2009 Springer
• Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
  Núñez, Manuel 2009 Springer
• Formal methods – foundations and applications : revised selected papers
  Oliveira, Marcel Vinícius Medeiros 2009 Springer
• Formal methods for industrial critical systems – 14th international workshop ; proceedings
  Alpuente, María 2009 Springer
• Model checking and artificial intelligence – 5th international workshop ; revised selected and invited papers
  Peled, Doron 2009 Springer