Εμφανίζονται 141 - 160 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,33δλ Περιορισμός αποτελεσμάτων
  1. 141
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Refinement and Model Checking for the Analysis of Probabilistic Systems -- Real Time -- Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 142
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Lifted Model Checking Back to UPPAAL -- Firm Deadline Checking of Safety-Critical Java Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 143
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 144
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Invited Presentations -- Verification -- Synthesis Techniques -- Concurrency -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 145
    Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Section 1: Invited Talks -- Hazards of Verification -- Automata-Theoretic Model Checking Revisited…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 146
    Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Nonlinear Biological Models -- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 147
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Checking by Data Race Detection -- Delta Modeling and Model Checking of Product Families -- Lending Petri…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 148
    Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
    ανά Herdt, Vladimir
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 149
    Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Model Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 150
    Computation Engineering Applied Automata Theory and Logic /
    ανά Gopalakrishnan, Ganesh
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Model Checking: Basics -- Model Checking: Temporal Logics -- Model Checking: Algorithms -- Conclusions.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 151
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 152
    Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Branching Bisimulation -- Model Checking -- Abstraction and Refinement in Model Checking -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 153
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 154
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 155
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Software -- Session 10. Model Checking and Verification -- Encodings of Bounded LTL Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 156
    Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Invited Talk: Proving Absence of Starvation by Means of Abstract Interpretation and Model-checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 157
    CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers -- Model-Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 158
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Testing and tools -- Tools for specification -- Model checking -- Application and prototyping.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 159
    Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Distributed Objects -- Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 160
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email