Εμφανίζονται 181 - 200 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 181
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 182
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… analysis -- Model checking -- New applications -- Program transformation -- Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 183
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Automata-based models and model checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 184
    Temporal Logic and State Systems
    ανά Kröger, Fred, Merz, Stephan
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Specification -- Other Temporal Logics -- System Verification by Model Checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 185
    FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Model Checking -- A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 186
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Ordering Strategies for Symbolic Model Checking of Railway Interlockings.- Automated Generation of Safety…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 187
    Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Model Checking -- Parametric Optimization of Open Real-Time Systems -- Embedding Chaos -- Abstract Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 188
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 189
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Verification -- Model Checking and Analysis -- A Unified Model Checking Approach with Projection Temporal Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 190
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 191
    Transactions on Petri Nets and Other Models of Concurrency IV
    Έκδοση 2010
    Πίνακας περιεχομένων: “… State Caching -- Bounded Parametric Model Checking for Elementary Net Systems -- SAT-Based (Parametric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 192
    Transactions on Petri Nets and Other Models of Concurrency V
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Order for Decision Diagram-Based Representation from P/T Nets -- Bounded Model Checking for Parametric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 193
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 194
    Validation of Stochastic Systems A Guide to Current Research /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 195
    Formal Methods for Discrete-Time Dynamical Systems
    ανά Belta, Calin, Yordanov, Boyan, Aydin Gol, Ebru
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 196
    From Basic Survival Analytic Theory to a Non-Standard Application
    ανά Zimmermann, Georg
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Regression Models for Survival Data -- Model Checking Procedures -- Life Expectancy.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 197
    Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 198
    Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 199
    1002265.pdf
    Έκδοση 2018
    “…; distributed computer systems; formal logic; formal model; java; model checking; processors; program…”
    Λήψη πλήρους κειμένου
  20. 200
    1002306.pdf
    Έκδοση 2018
    “…; model checker; model checking; multi core processors; program compilers; programming languages…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email