Εμφανίζονται 261 - 280 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 261
    978-3-031-37703-7.pdf
    Έκδοση 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Λήψη πλήρους κειμένου
  2. 262
    978-3-031-37706-8.pdf
    Έκδοση 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Λήψη πλήρους κειμένου
  3. 263
    978-3-031-37709-9.pdf
    Έκδοση 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Λήψη πλήρους κειμένου
  4. 264
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and Probabilistic Abstraction-Based Model Checking -- Out-of-Core Solution of Large Linear Systems of Equations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 265
    Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 266
    2020_Book_ComputerAidedVerification.pdf
    Έκδοση 2020
    “… procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic…”
    Λήψη πλήρους κειμένου
  7. 267
    Transactions on Petri Nets and Other Models of Concurrency X
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 268
    Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 269
    978-3-030-81685-8.pdf
    Έκδοση 2021
    “…; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking…”
    Λήψη πλήρους κειμένου
  10. 270
    978-3-030-81688-9.pdf
    Έκδοση 2021
    “…; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking…”
    Λήψη πλήρους κειμένου
  11. 271
    Bayesian Inference for Probabilistic Risk Assessment A Practitioner's Guidebook /
    ανά Kelly, Dana, Smith, Curtis
    Έκδοση 2011
    Πίνακας περιεχομένων: “… for Common Aleatory Models -- 4. Bayesian Model Checking -- 5. Time Trends for Binomial and Poisson Data -- 6…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 272
    Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
    ανά Kaiser, Łukasz
    Έκδοση 2011
    Πίνακας περιεχομένων: “… for Model Checking on Automatic Structures -- 4 Memory Structures for Infinitary Games -- 5 Counting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 273
    Scalable Techniques for Formal Verification
    ανά Ray, Sandip
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Compositional Model Checking Procedure -- Connecting External Deduction Tools with ACL2 -- Conclusion -- Summary…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 274
    Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 275
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Inheritance -- Model Checking LTL Formulae in RAISE with FDR -- An Introduction to Grammar Convergence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 276
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Proving the Refuted: Symbolic Model Checkers as Proof Generators -- Meanings of Model Checking -- Smaller…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 277
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 278
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- A Decidable Temporal Logic of Repeating Values -- Model Checking Knowledge and Linear Time: PSPACE…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 279
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 280
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email