Showing 741 - 760 results of 887 for search '"Model checking"', query time: 0.13s Refine Results
  1. 741
    Spatial and spatio-temporal Bayesian models with R-INLA /
    by Blangiardo, Marta
    Published 2015
    Table of Contents: “… regression: random walk; 5.3 Generalized linear models; 5.4 Hierarchical models; 5.5 Prediction; 5.6 Model…”
    Full Text via HEAL-Link
    eBook
  2. 742
    Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings /
    Published 2009
    Table of Contents: “…-2 Fuzzy Logic Controllers -- Evaluating Fuzzy Controller Robustness Using Model Checking -- Learning…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 743
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Proof of Symmetry Reduced Model Checking -- Development of a Synchronous Subset of AADL -- Matelas: A…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 744
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
    Published 2010
    Table of Contents: “… -- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey -- A Logic for PTIME and a…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 745
    Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… of Singular States -- IMGT-Choreography: Processing of Complex Immunogenetics Knowledge -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 746
    Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 747
    Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… of Multiple Nucleation in Self-assembly -- Using Bounded Model Checking to Verify Consensus Algorithms…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 748
    Handbook of Networked and Embedded Control Systems
    Published 2005
    Table of Contents: “… to Hybrid Automata -- An Overview of Hybrid Systems Control -- Temporal Logic Model Checking -- Switched…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 749
    Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- FO Model Checking on Nested Pushdown Trees -- The Prismoid of Resources -- A Dynamic Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 750
    Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
    Published 2009
    Table of Contents: “… Model Checking as Operating System Service -- Designing Highly Available Repositories for Heterogeneous…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 751
    Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Reformulation and Approximation in Model Checking -- The Lumberjack Algorithm for Learning Linked Decision…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 752
    From Statistics to Mathematical Finance Festschrift in Honour of Winfried Stute /
    Published 2017
    Table of Contents: “…: Stochastic Processes Applied to Gender Gaps -- Delgado: On the Efficiency of Directional Model Checks…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 753
    SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings /
    Published 2001
    Table of Contents: “…-Specifications Using Model Checking -- Applying SDL Specifications and Tools to the Verification of Procedures.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 754
    Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings /
    Published 2003
    Table of Contents: “… for Non-distributive Systems -- Invited Talk 2 -- Model Checking: From Hardware to Software -- Session 4…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 755
    Advances in Databases and Information Systems 5th East European Conference, ADBIS 2001, Vilnius, Lithuania September 25-28, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Rules Using Symbolic Model Checking -- Regular Papers -- A Data Model for Flexible Querying -- The Arc…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 756
    Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
    Published 1997
    Table of Contents: “… for discrete timed symbolic model checking -- State clock logic: A decidable real-time logic -- From quantity…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 757
    Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings /
    Published 2001
    Table of Contents: “… -- Modelisation of Timed Automata in Coq -- Session 5 -- Model-Checking LTL with Regular Valuations for Pushdown…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 758
    STACS 2001 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings /
    Published 2001
    Table of Contents: “…Invited Presentations -- Recurrence in Infinite Words -- Generalized Model-Checking Problems…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 759
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Published 1997
    Table of Contents: “…-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 760
    Software Engineering Research and Applications First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers /
    Published 2004
    Table of Contents: “… by Sharing Actions -- Applying Model Checking Techniques to Game Solving -- A Fuzzy Logic-Based Location…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search