Εμφανίζονται 281 - 300 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 281
    Nonparametric Monte Carlo Tests and Their Applications
    ανά Zhu, Lixing
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Linear Model -- Model Checking for Multivariate Regression Models -- Heteroscedasticity Tests…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 282
    Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Information Theory and Foundations of Probability -- Model Checking as A Reachability Problem -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 283
    Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… (Extended Abstract) -- Statistical Model Checking, Refinement Checking, Optimization, for Stochastic Hybrid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 284
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Model Checking of Higher-Order Recursion Schemes -- Model Checking Dynamic Pushdown Networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 285
    Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Queues with Resets -- Simulation and Model Checking -- Simulation of a Peer to Peer Market for Grid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 286
    Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Formal methods integration and experience reports -- Model checking -- Refinement and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 287
    Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Admitting Final Semantics -- Model Checking Fixed Point Logic with Chop -- On Model Checking Durational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 288
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Concurrency -- Model Checking -- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 289
    Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for Probabilistic Systems -- SMT-Based Software Model Checking: Explicit Scheduler, Symbolic Threads -- Regular…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 290
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 291
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Model Checking with PRISM -- PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 292
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- The Definition of Transitive Closure with OCL - Limitations and Applications - -- Verification and Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 293
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 294
    Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Natural Language Requirement Specifications for Embedded Real-Time Systems -- Model Checking of Concurrent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 295
    Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 296
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Semantics for Abstract Model Checking -- Automatic Determination of Communication Topologies in Mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 297
    Recent Advances in AI Planning 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 298
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… in Model Checking -- Modeling Urgency in Timed Systems -- Compositional Refinement of Interactive Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 299
    FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Regular Conditions -- Real-Time Model-Checking: Parameters Everywhere -- The Caucal Hierarchy of Infinite…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 300
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Έκδοση 2020
    “…; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email