Showing 381 - 400 results of 887 for search '"Model checking"', query time: 0.12s Refine Results
  1. 381
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
    Published 2010
    Table of Contents: “… -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 382
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  3. 383
    Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  4. 384
    NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  5. 385
    Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  6. 386
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  7. 387
    Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures /
    Published 2006
    Table of Contents: “… Notation in Industry -- Techniques for Temporal Logic Model Checking.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 388
    Bayesian Methods for the Physical Sciences Learning from Examples in Astronomy and Physics /
    by Andreon, Stefano, Weaver, Brian
    Published 2015
    Table of Contents: “… -- The Prior -- Multi-parameters Models -- Non-random Data Collection -- Fitting Regression Models -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 389
    Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Cyclic Block Codes Are Easy to Construct -- Model Checking and Protocol Analysis -- Effective Lossy Queue…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 390
    Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Demand-Driven Model Checking for Context-Free Processes -- Programming the Mobility Behaviour of Agents…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 391
    Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
    Published 2001
    Table of Contents: “… of Model Checking Mobile Ambients -- The Rho Cube -- Type Inference with Recursive Type Equations…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 392
    FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
    Published 2000
    Table of Contents: “…Invited Presentations -- Model Checking: Theory into Practice -- An Algebra for XML Query…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 393
    Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 394
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 395
    Transactions on Petri Nets and Other Models of Concurrency XIV
    Published 2019
    Table of Contents: “… Petri Net Model Checking: A Survey -- Parametric Verification: An Introduction -- Integrated Simulation…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 396
    Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Time Calculi -- A Robust Interpretation of Duration Calculus -- Symbolic Model Checking of Finite…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 397
    CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 398
    Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 399
    Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Technical Session 6. Model Checking -- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 400
    International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search