„checking“

Suchergebnisse

2.968 Treffer

• Quantitative Evaluation of Systems – 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
  Joshi, Kaustubh ; Siegle, Markus ; Stoelinga, Mariëlle ; D'Argenio, Pedro R. 2014 Springer International Publishing
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
• Computer Aided Verification – 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
  Sharygina, Natasha ; Veith, Helmut 2014 Springer International Publishing
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
  Ait Ameur, Yamine ; Schewe, Klaus-Dieter 2014 Springer Berlin Heidelberg
• Formal Techniques for Distributed Objects, Components, and Systems – 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
  Ábrahám, Erika ; Palamidessi, Catuscia 2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance – 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings
  Schmitt, Jens B. 2014 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
  Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer International Publishing
• Formal Methods and Software Engineering – 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
  Groves, Lindsay 2013 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Frontiers of Combining Systems – 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Reachability Problems – 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
  Abdulla, Parosh Aziz ; Potapov, Igor 2013 Springer Berlin Heidelberg
• Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
  2013 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Structured Object-Oriented Formal Language and Method – Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
  Liu, Shaoying 2013 Springer Berlin Heidelberg
• Quantitative Evaluation of Systems – 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  2013 Springer Berlin Heidelberg