Εμφανίζονται 301 - 315 Αποτελέσματα από 315 για την αναζήτηση '"software verification"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 301
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 302
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 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
    Πίνακας περιεχομένων: “… -- Verifying Object-Oriented Software: Lessons and Challenges -- Software Verification -- Shape Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 303
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 304
    Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 305
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 306
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 307
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- F-Soft: Software Verification Platform -- Decision Procedures and Applications -- Yet Another…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 308
    Advanced Topics in Artificial Intelligence 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… in Software Verification Domains -- Knowledge Representation III -- Abduction without Minimality -- Causal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 309
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Satisfiability Solvers -- Invited Tutorials -- On Abstraction in Software Verification -- The Symbolic Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 310
    Advanced Topics in Intelligent Information and Database Systems
    Έκδοση 2017
    Πίνακας περιεχομένων: “…-Based Software Verification.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 311
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of CafeOBJ -- On Failures and Faults -- Trends in Software Verification -- Event Based Sequential Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 312
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 313
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Interfacing program construction and verification -- Software verification based on linear programming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 314
    Communication and Networking International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Infrastructures for Pervasive Networks through Components -- Software Verification and Validation of Graphical Web…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 315
    Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email