Εμφανίζονται 701 - 720 Αποτελέσματα από 887 για την αναζήτηση '"model checking"', χρόνος αναζήτησης: 0,27δλ Περιορισμός αποτελεσμάτων
  1. 701
    Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 702
    Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- On the Complexity Analysis of Static Analyses -- Model-Checking -- Tutorial: Techniques to Improve the Scalability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 703
    Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Interpreted Systems via SMT-based Bounded Model Checking -- SMT-based Bounded Model Checking for Weighted…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 704
    Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Signatures -- Input Attribution for Statistical Model Checking using Logistic Regression -- Quantitative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 705
    Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Model checking LTL using constraint programming -- On the composition of timed systems -- Some…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 706
    CONCUR '98 Concurrency Theory 9th International Conference, Nice, France, September 8-11, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 707
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… for B and Event-B -- A Compact Encoding of Sequential ASMs in Event-B -- Proof Assisted Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 708
    Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… as Utility State Machines -- Generation of Integration Tests for Self-Testing Components -- Model-Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 709
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… and model checking algorithms -- PLC-automata: A new class of implementable real-time automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 710
    Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… reasoning under uncertain evidence -- Multicontext systems with importing contexts -- Planning via model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 711
    Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 712
    Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Network Games and Iterated Boolean Games -- Symbolic Model Checking for Dynamic Epistemic Logic -- Three…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 713
    Service-Oriented Computing - ICSOC 2003 First International Conference, Trento, Italy, December 15-18, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Negotiations of Service Contracts -- Model Checking Correctness Properties of Electronic Contracts -- Service…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 714
    Context-Aware Systems and Applications, and Nature of Computation and Communication 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Declarative Approach to Model Checking for Context-aware Applications -- Planquarium: A Context…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 715
    Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 716
    Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-Time Systems with TuningFork -- Data-Flow Analysis as Model Checking Within the jABC -- The CGiS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 717
    Specification of Software Systems
    ανά Alagar, V.S, Periyasamy, K.
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 718
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Techniques -- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 719
    Ewa Orłowska on Relational Methods in Logic and Computer Science
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Skowron) -- Chapter 14. Guttman Algebras and a Model Checking Procedure for Guttman Scales (Ivo Düntsch…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 720
    Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… of Security Policies -- Model Checking of Location and Mobility Related Security Policy Specifications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email