Εμφανίζονται 821 - 840 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 821
    Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Insights on Architectural Connectors -- On Complexity of Model-Checking for the TQL Logic -- A Generic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 822
    Information Security Applications 4th International Workshop, WISA 2003 Jeju Island, Korea, August 25-27, 2003 Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Network Security -- Model Checking of Security Protocols with Pre-configuration -- Remote Access…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 823
    Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Complexity in Real-Time Model Checking -- STORMED Hybrid Systems -- Controller Synthesis and Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 824
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 825
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 826
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Assessment Via Probabilistic Model Checking -- Learning Techniques for Software Verification and Validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 827
    Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: Applications of Universal Sequences -- Brief Announcements II -- Effect of Fairness in Model Checking of Self…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 828
    Handbook of Diagnostic Classification Models Models and Model Extensions, Applications, Software Packages /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 829
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 830
    On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 831
    Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Algorithms and Backward Simulation -- Brief Announcement: Efficient Model Checking of Fault-Tolerant…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 832
    Computational Intelligence and Intelligent Systems 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Multiple Sequence Alignment Based on Chaotic PSO -- Model Checking Algorithm Based on Ant Colony Swarm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 833
    Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Composition and Refinement Via Category Theoretic Computations -- Improved SAT Based Bounded Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 834
    Parallel Computing Technologies 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…, and Preliminary Results -- Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 835
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Guarded Logics -- Games and Model Checking for Guarded Logics -- Computational Space Efficiency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 836
    Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Semantics -- Epistemic Foundation of the Well-Founded Semantics over Bilattices -- Structural Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 837
    Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland
    Έκδοση 2014
    Πίνακας περιεχομένων: “… in context of the standard ISO 25010 -- Model checking of UML activity diagrams in logic controllers design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 838
    SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 839
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Web Services -- Finite Model Reasoning on UML Class Diagrams Via Constraint Programming -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 840
    Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- A Graphical Query Language for Querying Petri Nets -- Model Checking by Generating Observers from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email