Εμφανίζονται 501 - 520 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 501
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 502
    Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics -- Detection of Multi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 503
    Public Key Infrastructures, Services and Applications 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Partial Model Checking for the Verification and Synthesis of Secure Service Compositions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 504
    Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Communication with Session Types -- From Linear Types to Behavioral Types and Model Checking -- SALSA Lite: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 505
    Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 506
    978-3-031-38499-8.pdf
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  7. 507
    1006838.pdf
    Έκδοση 2020
    “…, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking…”
    Λήψη πλήρους κειμένου
  8. 508
    1006826.pdf
    Έκδοση 2020
    “…; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed…”
    Λήψη πλήρους κειμένου
  9. 509
    1006830.pdf
    Έκδοση 2020
    “…: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber…”
    Λήψη πλήρους κειμένου
  10. 510
    1006831.pdf
    Έκδοση 2020
    “…: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber…”
    Λήψη πλήρους κειμένου
  11. 511
    1006827.pdf
    Έκδοση 2020
    “…; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed…”
    Λήψη πλήρους κειμένου
  12. 512
    1006839.pdf
    Έκδοση 2020
    “…, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking…”
    Λήψη πλήρους κειμένου
  13. 513
    Theory and Application of Reuse, Integration, and Data Science
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Petri nets Kieutran -- Analyzing Cleaning Robots using Probabilistic Model Checking -- From Petri Nets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 514
    Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Networks: a case study in constrained hybridization -- Parity Games and Automata for Game Logic -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 515
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Specification and Checking of Software Contracts for Conditional Information Flow -- Model Checking Information…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 516
    Logical Foundations of Cyber-Physical Systems
    ανά Platzer, André, Platzer, André
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Arithmetic -- Axioms and Uniform Substitutions -- Differential Axioms and Uniform Substitutions -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 517
    Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Model Checking to Data-Aware Temporal Properties of Web Services -- Analyzing BPEL4Chor: Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 518
    Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 519
    Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems /
    ανά Garcia, Emilia, Giret, Adriana, Botti, Vicente
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 520
    Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email