Showing 361 - 380 results of 887 for search '"Model checking"', query time: 0.14s Refine Results
  1. 361
    Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  2. 362
    Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  3. 363
    Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  4. 364
    Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  5. 365
    Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /
    Published 2017
    Table of Contents: “… for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 366
    Kripke’s Worlds An Introduction to Modal Logics via Tableaux /
    Table of Contents: “… relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 367
    Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
    Published 2013
    Table of Contents: “…-Order Model Checking.- Discrete Linear Dynamical Systems.- XML Schema Management: A Challenge…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 368
    Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Analysis of Quantum Functions -- Session 10(b) -- On Sets Growing Continuously -- Model Checking Knowledge…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 369
    Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /
    Published 2000
    Table of Contents: “… Programming Applied to Model Checking -- Software Development -- On Dynamic Aspects of OOD Frameworks…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 370
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Relations between Specifications by Reflection -- Model-Checking Systems with Unbounded Variables without…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 371
    Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… in Bounded Model Checking -- Parallel Algorithms for Finding SCCs in Implicitly Given Graphs -- Can…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 372
    Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 373
    Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Models Using Guided Model Checking and Iterated Search Refinement -- Decompositional Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 374
    Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Queue with General Class-1 Service Times -- Model Checking and Process Algebra -- Stochastic Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 375
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Published 2018
    Table of Contents: “… Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 376
    Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
    Published 2018
    Table of Contents: “… Meta Model Checking -- Wholly!: A Build System For The Modern Software Stack -- A Modeling Language…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 377
    Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… -- Verifying Multi-agent Systems via Unbounded Model Checking -- Towards Symbolic Model Checking for Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 378
    Applications of Membrane Computing in Systems and Synthetic Biology
    Published 2014
    Table of Contents: “…From the Contents: A P Systems based Tool for Systems and Synthetic Biology -- Statistical Model…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 379
    Financial models with Lévy processes and volatility clustering /
    Published 2011
    Table of Contents: “…Multi-Tail t Model Check for the DAX --…”
    Full Text via HEAL-Link
    eBook
  20. 380
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search