„(Keywords)model checking“

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
• 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
• Theory of Security and Applications – Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
  Mödersheim, Sebastian ; Palamidessi, Catuscia 2012 Springer Berlin Heidelberg
• Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
  2011 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
• Information Computing and Applications – Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 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 ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; 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
• Software Engineering and Formal Methods – 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Model Driven Engineering Languages and Systems – 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
• Formal Modeling and Analysis of Timed Systems – 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  Fahrenberg, Uli ; Tripakis, Stavros 2011 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
  Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 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
• 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
• Applications and Theory of Petri Nets – 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
  Kristensen, Lars M. ; Petrucci, Laure 2011 Springer Berlin Heidelberg
• Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
  Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg