„Model-checking“

Suchergebnisse

1.904 Treffer

• Automated reasoning – 6th international joint conference ; proceedings
  Gramlich, Bernhard ; Miller, Dale ; Sattler, Ulrike 2012 Springer
• Protocol engineering
  König, Hartmut 2012 Springer
• Integrated formal methods – 9th international conference ; proceedings
  Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen 2012 Springer
• Role updating in information systems using model checking
  Hu, Jinwei ; Khan, Khaled M. ; Zhang, Yan ; Bai, Yun ; Li, Ruixuan
• Infinite state AMC-model checking for cryptographic protocols
  Kähler, Detlef 2007 Institut für Informatik / Christian-Albrechts-Universität zu Kiel
• Automatic validation of computational models using pseudo-3D spatio-temporal model checking
  Pârvu, Ovidiu ; Gilbert, David
• Tests and proofs – 6th international conference ; proceedings
  Brucker, Achim D. ; Julliand, Jacques 2012 Springer
• Modeling and analysis of cell membrane systems with probabilistic model checking
  Crepalde, Mirlaine A. ; Faria-Campos, Alessandra C. ; Campos, Sérgio VA
• Euro-Par 2011: Parallel Processing Workshops – CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
  2012 Springer Berlin Heidelberg
• On the complexity of modal logic variants and their fragments
  Meier, Arne 2011 Cuvillier
• Parallel processing workshops
  2012 Springer
• A general model checking framework for various memory consistency models
  Abe, Tatsuya ; Maeda, Toshiyuki
• Fundamentals of software engineering – 4th IPM international conference ; revised selected papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer
• PKreport: report generation for checking population pharmacokinetic model assumptions
  Sun, Xiaoyong ; Li, Jun
• A new model checking algorithm for time nets
  Pogrell, Lutz 1996 Professoren des Inst. für Informatik
• Transactions on Petri nets and other models of concurrency
  Jensen, Kurt ; Donatelli, Susanna ; Kleijn, Jetty 2012 Springer
• Tools and algorithms for the construction and analysis of systems – 18th international conference ; proceedings
  Flanagan, Cormac ; König, Barbara 2012 Springer
• Foundations of software science and computational structures – 15th international conference ; proceedings
  Birkedal, Lars 2012 Springer
• Compiler construction – 21st international conference ; proceedings
  O'Boyle, Michael 2012 Springer
• Computation sequence Chart – ein Konzept zur anforderungsbezogenen Testfallgenerierung
  Grosch, Vanessa