Εμφανίζονται 121 - 140 Αποτελέσματα από 315 για την αναζήτηση '"software verification"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 121
    Proceedings of the 6th ACM workshop on Formal methods in security engineering
    Έκδοση 2008
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 122
    Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
    Έκδοση 2008
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 123
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 124
    Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 125
    Proceedings of the 5th international conference on Generative programming and component engineering
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 126
    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 127
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 128
    Proceedings of the 13th International Workshop on Automation of Software Test
    Έκδοση 2018
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 129
    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Έκδοση 2017
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 130
    Proceedings of the 6th International Workshop on Automation of Software Test
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 131
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 132
    Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
    Έκδοση 2009
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 133
    Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 134
    Deductive Software Verification – The KeY Book From Theory to Practice /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 135
    Proceedings of the 2005 conference on Specification and verification of component-based systems
    Έκδοση 2005
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 136
    Proceedings of the 31st Brazilian Symposium on Software Engineering
    Έκδοση 2017
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 137
    Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
    Έκδοση 2018
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 138
    Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 139
    Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 140
    Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
    Έκδοση 2016
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email