Showing 421 - 440 results of 887 for search '"Model checking"', query time: 0.12s Refine Results
  1. 421
    Data-Driven Process Discovery and Analysis 7th IFIP WG 2.6 International Symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, Revised Selected Papers /
    Published 2019
    Table of Contents: “… trace abstraction -- Mining Local Process Models and their Correlations -- A linear temporal logic model…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 422
    Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 423
    Runtime Reconfiguration in Networked Embedded Systems Design and Testing Practices /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  4. 424
    Information, Interaction and Agency
    by Hoek, Wiebe van der
    Published 2005
    Table of Contents: “… of Jury Decisions Where All Jurors Have the Same Evidence -- A Sat-Based Approach to Unbounded Model…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 425
    Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 426
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
    by Penczek, Wojciech, Pólrola, Agata
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  7. 427
    Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  8. 428
    Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 429
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 430
    Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
    Published 2007
    Table of Contents: “… ?ukasiewicz Logic -- A Tableau Method for Public Announcement Logics -- Bounded Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 431
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
    Published 2005
    Table of Contents: “… -- Symbolic Model Checking and Simulation with Temporal Assertions -- Automotive System Design and Autosar.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 432
    Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Networks -- The SPQR-Tree Data Structure in Graph Drawing -- Model Checking and Testing Combined -- Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 433
    Embedded Software Verification and Debugging
    Published 2017
    Table of Contents: “… Debugging of Embedded Software Systems -- A Mechanism for Monitoring Driver-Device Communication -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 434
    Applied Bayesian Statistics With R and OpenBUGS Examples /
    by Cowles, Mary Kathryn
    Published 2013
    Table of Contents: “… on convergence assessment -- Regression and hierarchical regression models -- Model Comparison, Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 435
    Verification and Validation in Systems Engineering Assessing UML/SysML Design Models /
    Table of Contents: “… -- Verification and Validation of UML Behavioral Diagrams -- Probabilistic Model Checking of SysML Activity…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 436
    Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
    Published 2001
    Table of Contents: “…Verifying Agent's Mental States -- Model Checking-Based Analysis of Multiagent Systems -- Towards…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 437
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Published 2001
    Table of Contents: “…-Coherence Protocols -- Model-Checking Over Multi-Valued Logics -- How to Make FDR Spin LTL Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 438
    Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
    Published 2004
    Table of Contents: “…: Software Model Checking -- Invited Talks -- Engineering Quality Software -- When Can Formal Methods Make a…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 439
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Algorithm for Model Checking with Symmetry Reduction -- Protocol Techniques for Testing Radiotherapy…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 440
    STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings /
    Published 2002
    Table of Contents: “… with Transitivity -- A Parametric Analysis of the State Explosion Problem in Model Checking -- Generalized Model…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search