Showing 561 - 580 results of 887 for search '"Model checking"', query time: 0.13s Refine Results
  1. 561
    Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
    Published 2008
    Table of Contents: “…Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 562
    Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings /
    Published 2008
    Table of Contents: “… GOAL Agent Programs into Jazzyk Behavioural State Machines -- Knowledge and Strategic Ability for Model…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 563
    Mathematical Logic for Computer Science
    by Ben-Ari, Mordechai
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  4. 564
    2020_Book_ProgrammingLanguagesAndSystems.pdf
    Published 2020
    Get full text
  5. 565
    9783030715007.pdf
    Published 2021
    Get full text
  6. 566
    978-3-030-99429-7.pdf
    Published 2022
    Get full text
  7. 567
    Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
    Published 2009
    Table of Contents: “… -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 568
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “… of Bounded Model Checking and Deductive Verification -- A Probabilistic Framework for Object-Oriented…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 569
    Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
    Published 2013
    Table of Contents: “… of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 570
    Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 571
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Logics -- A Finite Model Property for G¨odel Modal Logics -- Model Checking for Modal Dependence Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 572
    Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Models: Model Building and Model Checking over Linear Time -- Probabilistic IF Logic -- Contributed…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 573
    Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “…BDD-Based Software Model Checking with CPAchecker -- Security for Cyber-Physical Systems -- Quantum…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 574
    9791221502893_72.pdf
    Published 2024
    Get full text
  15. 575
    978-3-031-57246-3.pdf
    Published 2024
    “…; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic…”
    Get full text
  16. 576
    978-3-031-57256-2.pdf
    Published 2024
    “…; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic…”
    Get full text
  17. 577
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Programming for Local and Symbolic Model-Checking -- A CLP Framework for Computing Structural Test Data…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 578
    Ambient Communications and Computer Systems RACCCS 2017 /
    Published 2018
    Table of Contents: “… of Vedic Multiplier for Complex Multiplication -- Using Parallel and Distributed Reachability in Model…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 579
    Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 580
    A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations
    Published 2014
    Table of Contents: “… -- 10 Model Checking in Biology -- 11 Computational Design of Informative Experiments in Systems Biology…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search