Εμφανίζονται 1 - 20 Αποτελέσματα από 91 για την αναζήτηση '"probabilistic systems"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Dynamic probabilistic systems
    ανά Howard, Ronald A.
    Έκδοση 2007
    Βιβλίο
  2. 2
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle, Morgan, Carroll
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle
    Έκδοση 2005
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Mobility -- Dynamic Input/Output Automata: A Formal Model for Dynamic Systems -- Probabilistic Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Abstract Interpretation and Statistical Testing -- Approximate Verification of Probabilistic Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Validation of Stochastic Systems A Guide to Current Research /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “….-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Discount for Probabilistic Systems -- Optimal Strategy Synthesis in Stochastic Müller Games -- Generalized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Checking and State-Space Exploration -- Stochastic and Probabilistic Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
    ανά Doberkat, Ernst-Erich
    Έκδοση 2015
    Πίνακας περιεχομένων: “….- 4 Measures for Probabilistic Systems -- List of Examples -- References -- Index.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Verification -- Probabilistic Systems -- Concurrent Programs -- Parameterized and Component-Based Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Heterogeneous Testing Hypotheses -- Session II: Testing Non-deterministic and Probabilistic Systems -- Bounded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Networks -- Behavioural Pseudometrics for Nondeterministic Probabilistic Systems -- A Comparison of Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… CTMC Model Checking -- Reachability Analysis of Probabilistic Systems by Successive Refinements…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    2020_Book_ToolsAndAlgorithmsForTheConstr.pdf
    Έκδοση 2020
    “…; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email