Εμφανίζονται 581 - 600 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,34δλ Περιορισμός αποτελεσμάτων
  1. 581
    Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Complexity and Codes -- Model Theory and Model Checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 582
    Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 583
    Quality Software Through Reuse and Integration
    Έκδοση 2018
    Πίνακας περιεχομένων: “…-Method -- A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 584
    Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…, process logic -- Model checking the full modal mu-calculus for infinite sequential processes -- Symbolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 585
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… for Hybrid Systems -- On the Power of Statistical Model Checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 586
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 587
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 588
    Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Quantitative Analysis of Collective Adaptive Systems -- What You Always Wanted to Know about Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 589
    Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 590
    Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Parameterized Verification by Probabilistic Abstraction -- Genericity and the ?-Calculus -- Model Checking Lossy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 591
    KI 2002: Advances in Artificial Intelligence 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Discriminations: A Hybrid Approach for Relational Objects -- Logic Programming - Theorem Proving - Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 592
    Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Verification for a Class of PLTL Properties -- Towards Model Checking Stochastic Process Algebra.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 593
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Verification -- Verification by Abstraction -- Combining Decision Procedures -- A Theory of Hints in Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 594
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 595
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Ordered Abelian Groups -- On the Power of Catalytic P Systems with One Catalyst -- An Integrated Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 596
    Bayesian Networks in Educational Assessment
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 597
    Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… dimension of corona products -- On the Complexity of Computing Two Nonlinearity Measures -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 598
    Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Presence of Callbacks and Autonomous Activities -- Efficient Model Checking of Networked Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 599
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Multiprocessor – A Case Study -- Simultaneous SAT-Based Model Checking of Safety Properties -- HaifaSat: A New…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 600
    Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email