Εμφανίζονται 441 - 460 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 441
    FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Isomorphism Theorem -- Thresholds and Optimal Binary Comparison Search Trees -- Distributed LTL Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 442
    Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Algebraic Semantics and Equational Calculus -- Effective Recognizability and Model Checking of Reactive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 443
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 444
    Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… SAT Solvers for Bounded Model Checking -- Model-Equivalent Reductions -- Improved Exact Solvers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 445
    Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 446
    Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Model Checking to AXML System’s Security: A Case Study -- Towards a Unifying Theory for Web Services…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 447
    Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 448
    Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Concurrency with Name Binding -- Maude Model Checking and Debugging -- The Linear Temporal Logic of Rewriting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 449
    Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 450
    Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 451
    Present and Ulterior Software Engineering
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 452
    Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… intelligent systems: the AVICENA experience -- `How did they know?' - Model-checking for analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 453
    Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
    Πίνακας περιεχομένων: “…-gating -- Model-Checking to exploit Sequential Clock-gating -- System Level Simulation Guided Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 454
    Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Combinations of Model Checking and Theorem Proving -- Session 4 -- Compiling Multi-paradigm Declarative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 455
    Transactions on Foundations for Mastering Change I
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Proof Repositories for Compositional Verification of Evolving Software Systems -- Statistical Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 456
    Relational and Kleene-Algebraic Methods in Computer Science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Methods -- Kleene Algebra with Relations -- Contributed Papers -- Integrating Model Checking and Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 457
    Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 458
    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
    Πίνακας περιεχομένων: “… -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 459
    Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach /
    ανά Jörges, Sven
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 460
    Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Contract-Driven Implementation of Choreographies -- Model Checking Usage Policies -- Bounds…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email