Εμφανίζονται 301 - 320 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 301
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Έκδοση 2020
    “…; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II…”
    Λήψη πλήρους κειμένου
  2. 302
    NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 303
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Layout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 304
    Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /
    ανά O'Regan, Gerard
    Έκδοση 2017
    Πίνακας περιεχομένων: “… of VDM -- Unified Modelling Language -- Dijkstra, Hoare and Parnas -- Automata Theory -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 305
    Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 306
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 307
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 308
    Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…, refinement, verification and testing -- Model checking and theorem proving -- Models of object and component…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 309
    Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Verification and Model Checking -- Transfinite Extension of the Mu-Calculus -- Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 310
    9783030720131.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  11. 311
    2020_Book_ComputerAidedVerification.pdf
    Έκδοση 2020
    “… procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic…”
    Λήψη πλήρους κειμένου
  12. 312
    Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… of Abstract Domains -- On Model-Checking Optimistic Replication Algorithms -- Recursive Parametric Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 313
    Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 314
    An introduction to practical formal methods using temporal logic /
    ανά Fisher, Michael, 1962-
    Έκδοση 2011
    Πίνακας περιεχομένων: “…Front Matter -- Introduction -- Temporal Logic -- Specification -- Deduction -- Model Checking…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  15. 315
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 316
    Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of Proofs: Classical Propositional Calculus -- Applications of Craig Interpolation to Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 317
    Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… to bipartite interval graphs: Exact and asymptotic bounds -- Model checking -- Recursion versus iteration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 318
    Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… and SAT-Based Symbolic Model Checking -- Heuristics for Efficient Manipulation of Composite Constraints…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 319
    Fundamental Approaches to Software Engineering First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… design planning by automatic synthesis in metaframe -- Model-checking CSP-Z -- Rule-based refinement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 320
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email