Εμφανίζονται 761 - 780 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 761
    Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 762
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 763
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “….- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 764
    Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Protein Folding Kinetics Via Temporal Logic Model Checking -- Efficient Algorithms to Explore Conformation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 765
    KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 766
    Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 767
    Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… and Learning for Multiplicity Tree Automata -- Monadic datalog and regular tree pattern queries -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 768
    Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Systems Model Checking -- Adaptive Mechanism Based on Shared Learning in Multi-agent System -- An Agent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 769
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Place/Transition Systems -- Explicit State Model Checking for Graph Grammars -- Linear-Ordered Graph…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 770
    SOFSEM 2001: Theory and Practice of Informatics 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- On the Approximability of Interactive Knapsack Problems -- Model Checking Communication Protocols -- Pipelined…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 771
    Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System -- BPM Based Robust E…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 772
    FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 773
    Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- A Model Checking Algorithm for Multi-agent Systems -- Compositional Verification of Multi-agent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 774
    UML'99 - The Unified Modeling Language: Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… UML Specifications -- Formalising UML State Machines for Model Checking -- Panel 2 -- SDL as UML: Why…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 775
    STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Verification of Security Protocols -- Durations, Parametric Model-Checking in Timed Automata with Presburger…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 776
    UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 777
    Computer Network Security Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… for Security Policies Management -- Symbolic Partial Model Checking for Security Analysis -- Rule-Based Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 778
    Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Protocol -- Generation of All Counter-Examples for Push-Down Systems -- Modeling and Model Checking Mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 779
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Reactive Systems -- Divider Circuit Verification with Model Checking and Theorem Proving -- Specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 780
    Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… to the Future? -- Using Model Checking to Generate Tests from Requirements Specifications -- Specification-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email