„Model-checking“

Suchergebnisse

1.904 Treffer

• Stabilization, Safety, and Security of Distributed Systems – 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
  Richa, Andréa W. ; Scheideler, Christian 2012 Springer Berlin Heidelberg
• Computational Methods in Systems Biology – 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
  Gilbert, David ; Heiner, Monika 2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
• Formal Methods: Foundations and Applications – 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  Gheyi, Rohit ; Naumann, David 2012 Springer Berlin Heidelberg
• Reachability Problems – 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  Finkel, A. ; Leroux, Jérôme ; Potapov, Igor 2012 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
• Formal Modeling and Analysis of Timed Systems – 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
  Jurdziński, Marcin ; Nickovic, Dejan 2012 Springer Berlin Heidelberg
• Implementation and Application of Automata – 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
  Moreira, Nelma ; Reis, Rogério 2012 Springer Berlin Heidelberg
• Advances in Bioinformatics and Computational Biology – 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
  Souto, Marcilio C. P. ˜deœ ; Kann, Maricel G. 2012 Springer Berlin Heidelberg
• Model Checking Software – 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  Donaldson, Alastair ; Parker, David 2012 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
• Communications and Information Processing – International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I
  2012 Springer Berlin Heidelberg
• Communications and Information Processing – International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised Selected Papers, Part II
  Zhao, Maotai ; Sha, Junping 2012 Springer Berlin Heidelberg
• Automated Reasoning – 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  Gramlich, Bernhard ; Miller, Dale ; Sattler, Ulrike 2012 Springer Berlin Heidelberg
• Computer Aided Verification – 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer Berlin Heidelberg
• 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
• Tests and Proofs – 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  Brucker, Achim D. ; Julliand, Jacques 2012 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg