„(Keywords)Verification“

Suchergebnisse

1.000+ Treffer

• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Verification-based software-fault detection
  Gladisch, Christoph
• Semantic business process modeling – facilitating the design and verification of conceptual process models
  Markovic, Ivan
• Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  2017 Springer International Publishing
• Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
• Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Verified Software: Theories, Tools, Experiments – 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
  Joshi, Rajeev ; Müller, Peter ; Podelski, Andreas 2012 Springer Berlin Heidelberg
• Formal Aspects of Component Software – 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  Barbosa, Luís Soares ; Lumpe, Markus 2012 Springer Berlin Heidelberg
• Formal Methods for Components and Objects – 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  Aichernig, Bernhard K. ; Boer, Frank S. ˜deœ ; Bonsangue, Marcello M. 2012 Springer Berlin Heidelberg
• Innovative Computing Technology – First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011. Proceedings
  Pichappan, Pit ; Ahmadi, Hojat ; Ariwa, Ezendu 2011 Springer Berlin Heidelberg
• Control and Automation, and Energy System Engineering – International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Stoica, Adrian ; Kang, Byeong-Ho 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Model and Data Engineering – First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
  Bellatreche, Ladjel ; Mota Pinto, Filipe 2011 Springer Berlin Heidelberg
• Towards a Service-Based Internet – 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings
  Abramowicz, Witold ; Llorente, Ignacio M. ; Surridge, Mike ; Zisman, Andrea ; Vayssière, Julien 2011 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  Salaün, Gwen ; Schätz, Bernhard 2011 Springer Berlin Heidelberg
• Descriptional Complexity of Formal Systems – 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
  Holzer, Markus ; Kutrib, Martin ; Pighizzini, Giuliano 2011 Springer Berlin Heidelberg
• Model Checking Software – 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  Groce, Alex ; Musuvathi, Madanlal 2011 Springer Berlin Heidelberg
• Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  Gopalakrishnan, Ganesh ; Qadeer, Shaz 2011 Springer Berlin Heidelberg