Εμφανίζονται 81 - 100 Αποτελέσματα από 315 για την αναζήτηση '"Software verification"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 81
    Proceedings of the fourth ACM workshop on Formal methods in security
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 82
    Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
    Έκδοση 2016
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 83
    Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
    Έκδοση 1983
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 84
    Proceedings of the symposium on High-level debugging
    Έκδοση 1983
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 85
    Proceedings of the sixth workshop on Programming languages meets program verification
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 86
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 87
    Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Έκδοση 2017
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 88
    Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
    Έκδοση 2017
    Θέματα: “…Software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 89
    Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
    Έκδοση 2019
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 90
    Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies
    Έκδοση 2018
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 91
    Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
    Έκδοση 2002
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 92
    Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 93
    Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
    Έκδοση 2011
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 94
    Proceedings of the third workshop on Formal methods in software practice
    Έκδοση 2000
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 95
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1999
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 96
    Proceedings of the 6th ACM SIGPLAN Symposium on Scala
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 97
    Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
    Έκδοση 2019
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 98
    Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems
    Έκδοση 2017
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 99
    Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 100
    Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
    Έκδοση 2013
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email