Εμφανίζονται 481 - 500 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 481
    Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Information -- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 482
    Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 483
    Design of Reconfigurable Logic Controllers
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Controller Design -- Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model -- UML Support…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 484
    Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…The Ideal Theory for WSTS -- Rare events for Statistical Model Checking -- On the Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 485
    Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- An Abstraction Technique for Testing Decomposable Systems by Model Checking -- An All-in-One Toolkit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 486
    Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 487
    Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… (SoK) -- Security Policies -- Security Analysis of Cache Replacement Policies -- Model Checking Exact…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 488
    Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 489
    Asia Pacific Business Process Management Second Asia Pacific Conference, AP-BPM 2014, Brisbane, QLD, Australia, July 3-4, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Detection Using Flexible Feature Matching -- Part Process Analysis -- A Model-Checking Based Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 490
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Mean-Field Model-Checking -- Group-by-Group Probabilistic Bisimilarities and Their Logical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 491
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Systems with Whole Neighbourhood Operations -- Equivalence Between Model-Checking Flat Counter Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 492
    New Introduction to Multiple Time Series Analysis
    ανά Lütkepohl, Helmut
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 493
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 494
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 495
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 496
    Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 497
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 498
    978-3-030-79876-5.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  19. 499
    Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 500
    Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email