Εμφανίζονται 401 - 420 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 401
    Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 402
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Format -- Application of Model-Checking Technology to Controller Synthesis -- Testing Real-time Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 403
    Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 404
    Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 405
    Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 406
    NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 407
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions -- Depth Boundedness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 408
    Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 409
    Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 410
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 411
    Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- A Framework for Translating Models and Specifications -- Model Checkers and Theorem Provers -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 412
    Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Towards a Proof System for Admissibility -- Program Complexity of Dynamic LTL Model Checking -- Coping…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 413
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…, Theorem Proving and Abstraction -- Symbolic Analysis -- Symbolic Model Checking without BDDs -- Symbolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 414
    Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Invited Presentations -- Model Checking and Abstraction -- Reformulation in Planning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 415
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…-Time Model Checking Using Tabled Logic Programming and Constraints -- Constraint-Based Infinite Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 416
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 417
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 418
    Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 419
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Representations and Analysis Techniques -- Spatial Logic and Spatial Model Checking for Closure Spaces…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 420
    Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email