„Model-checking“

Suchergebnisse

1.904 Treffer

• Automated Technology for Verification and Analysis – 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
  Bultan, Tevfik ; Hsiung, Pao-Ann 2011 Springer Berlin Heidelberg
• Automated technology for verification and analysis – 9th international symposium ; proceedings
  Bultan, Tevfik ; Hsiung, Pao-Ann 2011 Springer
• High-Level Verification – Methods and Tools for Verification of System-Level Designs
  Lerner, Sorin ; Gupta, Rajesh Kumar ; Kundu, Sudipta 2011 Springer New York
• Tools and Algorithms for the Construction and Analysis of Systems – 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  2011 Springer Berlin Heidelberg
• Tools and algorithms for the construction and analysis of systems – 17th international conference ; proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2011 Springer
• Foundations of software science and computational structures – 8th international conference ; proceedings
  Sassone, Vladimiro 2005 Springer
• Automated technology for verification and analysis – second international conference : proceedings
  Wang, Farn 2004 Springer
• Unifying theories of programming – third international symposium ; proceedings
  Qin, Shengchao 2010 Springer
• Model checking software – proceedings
  Pol, Jaco ˜van deœ 2010 Springer
• Formal methods in computer aided design – 5th international conference ; proceedings
  Hu, Alan J. 2004 Springer
• Formal approaches to software testing – 5th international workshop ; revised selected papers
  Grieskamp, Wolfgang 2006 Springer
• Construction and analysis of safe, secure, and interoperable smart devices – second international workshop ; revised selected papers
  Barthe, Gilles 2006 Springer
• Correct hardware design and verification methods – 13th IFIP WG 10.5 advanced research working conference ; proceedings
  Borrione, Dominique 2005 Springer
• Model Checking with Residuals for g-estimation of Optimal Dynamic Treatment Regimes
  Rich, Benjamin ; Moodie, Erica E. M. ; Stephens, David A. ; Platt, Robert W.
• Methods for Checking the Reliability of Mathematical Models for Describing Deformation Processes of Polymer Textile Materials
  Kozlov, A. A. ; Wagner, V. I.
• On the quality checking of persistent scatterer interferometry data by spatial-temporal modelling
  Omidalizarandi, Mohammad ; Mohammadivojdan, Bahareh ; Alkhatib, Hamza ; Paffenholz, Jens-André ; Neumann, Ingo
• Checking the Assumptions of Rasch's Model for Speed Tests
  Jansen, M. G. H. ; Glas, C. A. W.
• An evaluation of approaches to model checking real-time task schedulability analysis
  Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
• Model Independent Error Bound Estimation for Conformance Checking Approximation
  Fani Sani, Mohammadreza ; Kabierski, Martin ; van Zelst, Sebastiaan Johannes ; Aalst, Wil ˜van derœ 2021 Universitätsbibliothek der RWTH Aachen
• The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments
  Bauland, Michael ; Mundhenk, Martin ; Schneider, Thomas ; Schnoor, Henning ; Schnoor, Ilka ; Vollmer, Heribert 2009 Gottfried Wilhelm Leibniz Universität Hannover