Showing 681 - 700 results of 887 for search '"Model checking"', query time: 0.83s Refine Results
  1. 681
    Cooperative Systems Control and Optimization /
    Published 2007
    Table of Contents: “… UAV Fleet With Model Checking -- Unmanned Helicopter Formation Flight Experiment for the Study of Mesh…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 682
    Enterprise Information Systems 10th International Conference, ICEIS 2008, Barcelona, Spain, June 12-16, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “… Relationship Learning -- Compositional Model-Checking Verification of Critical Systems -- Model-Driven Web…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 683
    Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
    Published 2009
    Table of Contents: “…-Party Components with Model Checking Support -- Extracting Behavior Specification of Components…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 684
    Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… -- Local Model Checking in a Logic for True Concurrency -- The Paths to Choreography Extraction…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 685
    Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
    Published 2018
    Table of Contents: “… with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 686
    Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Driven Three-Valued Model Checking on Hybrid Automata -- Team Logic and Second-Order Logic -- Ludics…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 687
    Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings /
    Published 2008
    Table of Contents: “… and Formal Methods -- On the Decidability of Model-Checking Information Flow Properties -- Synthesizing…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 688
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Published 2010
    Table of Contents: “… Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 689
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
    Published 2010
    Table of Contents: “… Model Checking of Stochastic COWS -- Probabilistic Aspects: Checking Security in an Imperfect World -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 690
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Enforce Than Verify -- Runtime Verification for the Web -- Statistical Model Checking: An Overview…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 691
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 692
    Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  13. 693
    Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  14. 694
    Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “… of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL -- A Hoare Logic for the State Monad…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 695
    Safety and Security in Multiagent Systems Research Results from 2004-2006 /
    Published 2009
    Table of Contents: “… to Predictability and Unpredictability -- Uncertain Agent Verification through Probabilistic Model-Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 696
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings /
    Published 2013
    Table of Contents: “… Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 697
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Published 2013
    Table of Contents: “… -- Accelerating Software Model Checking Based on Program Backbone -- A Cloud Computing System for Snore Signals…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 698
    Agent-Oriented Software Engineering III Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions /
    Published 2003
    Table of Contents: “… Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 699
    Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Reflecting BDDs in Coq -- On Model Checking Synchronised Hardware Circuits -- Safe Ambients: Control Flow…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 700
    Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /
    Published 1998
    Table of Contents: “… for Flexible Manufacturing Systems -- Modelling and Model Checking a Distributed Shared Memory Consistency…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search