Εμφανίζονται 661 - 680 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 661
    Modeling Time in Computing
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 662
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Observer -- Model Checking TLR* Guarantee Formulas on Infinite Systems -- Towards a Combination of CafeOBJ…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 663
    Transactions on Petri Nets and Other Models of Concurrency VI
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 664
    Advances in Plan-Based Control of Robotic Agents International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Robots A Progress Report -- Reasoning about Robot Actions: A Model Checking Approach -- Lifelong Planning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 665
    Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Human-Computer Interaction -- Integrating Model Checking and HCI Tools to Help Designers Verify User…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 666
    Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions Development, Testing and Verification /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Chapter 5. Statistical Model Checking for Scenario-based Verification of ADAS -- Chapter 6. Game Theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 667
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 668
    Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Petri Net Models Applied on an Access Control System -- Pre- and Post-agglomerations for LTL Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 669
    Computer Security - ESORICS 98 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… for designing multilevel Object-Oriented Databases -- Byte code verification for Java smart cards based on model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 670
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Techniques to Build Property-Enforcing Layers -- Automatic Software Model Checking Using CLP -- Verifying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 671
    Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 672
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 673
    Isabelle/HOL A Proof Assistant for Higher-Order Logic /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 674
    Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- The Decidability of Model Checking Mobile Ambients -- Automata -- A Generalization of the Büchi-Elgot-Trakhtenbrot…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 675
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Model-Checking for Biochemical Systems -- Component-Based Software Development and Logic Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 676
    Advances in Agent Communication International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Considerations in the Design of the CASA Agent Architecture -- Model Checking for ACL Compliance Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 677
    Software Architecture First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Development -- An Architecture Description Language for Mobile Distributed Systems -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 678
    Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 679
    Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Processes -- Model Checking for a Class of Performance Properties of Fluid Stochastic Models -- Explicit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 680
    Computer and Information Science 2011
    Έκδοση 2011
    Πίνακας περιεχομένων: “…Appling Bounded Model Checking to Verifying Web Navigation Model -- A Metri-Based Approach for Anti…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email