Εμφανίζονται 781 - 800 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 781
    FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…: Context Semantics Made Simple -- Encoding Generic Judgments -- Model Checking Algol-Like Languages Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 782
    STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of the Exponential Function -- Verification -- A Model of Behaviour Abstraction for Communicating Processes -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 783
    Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… to Model Checking -- Arithmetic Constant-Depth Circuit Complexity Classes -- Inverse NP Problems -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 784
    Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Probability with Decidable Model-Checking -- Solving Pushdown Games with a ?3 Winning Condition -- Partial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 785
    Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 786
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… with the Application of Symbolic Model Checking to the Analysis of Software Specifications -- Formal Verification of a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 787
    Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Session 1: Invited Talk -- SAT-Based Counterexample Guided Abstraction Refinement in Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 788
    Software Engineering - ESEC-FSE '97 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… critical systems -- Verification of liveness properties using compositional reachability analysis -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 789
    Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Processor Architecture with Minimal Performance Overhead -- Application of Formal Methods -- Model-Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 790
    Μοντέλα επιθέσεων, μετρικές και προτεινόμενη ιεράρχηση μετρικών κυβερνοασφάλειας
    ανά Κόλλια, Βασιλική
    Έκδοση 2017
    Λήψη πλήρους κειμένου
    Thesis
  11. 791
    SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 792
    Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… LOCAL model -- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms -- Brief…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 793
    Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Model Checking on P Systems Using PRISM -- Graphical Modeling of Higher Plants Using P Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 794
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Flow in UML 2 Activity Diagrams -- Well-Structured Model Checking of Multiagent Systems -- Development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 795
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 796
    Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Containment -- QBF-Based Symbolic Model Checking for Knowledge and Time -- A Characterization of the Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 797
    LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Model-Checking of Linear-Time Properties in Timed Automata -- The Computational Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 798
    Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Completion -- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus -- LTL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 799
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 800
    Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - In Honor of Said El Hajji /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Your Kleptographic Subscription Plan -- Model Checking Speculation-Dependent Security Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email