Εμφανίζονται 201 - 220 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 201
    Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 202
    New Developments in Statistical Modeling, Inference and Application Selected Papers from the 2014 ICSA/KISS Joint Applied Statistics Symposium in Portland, OR /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 203
    Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 204
    Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… in the join-calculus -- Local model checking for value-passing processes (Extended abstract) -- Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 205
    Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 206
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 207
    Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Design Space Exploration of SSA -- Statistical Model Checking in BioLab: Applications to the Automated…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 208
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 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
    Πίνακας περιεχομένων: “… for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 209
    Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Model Checking -- Counter-Free Input-Determined Timed Automata -- Towards Budgeting in Real-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 210
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 211
    CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Invited Talks -- Combining Theorem Proving and Model Checking through Symbolic Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 212
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 213
    Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Applications of Hierarchical Verification in Model Checking -- Applications of Hierarchical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 214
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Unbounded Model Checking -- Approximating Predicate Images for Bit-Vector Logic -- Model Checking Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 215
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 216
    Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 217
    Automatic Verification of Sequential Infinite-State Processes
    ανά Burkart, Olaf, Burkart, Olaf
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Background -- Pushdown Processes -- Model Checking -- Equivalence Checking -- Summary…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 218
    Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… and applications of logic to computer science -- Model checking -- Automated reasoning -- Deductive methods.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 219
    Transactions on Aspect-Oriented Software Development XII
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 220
    Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email