Εμφανίζονται 41 - 60 Αποτελέσματα από 278 για την αναζήτηση '"Verification"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 41
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 42
    Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 43
    Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing
    Έκδοση 2017
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 44
    Proceedings of the First International Workshop on Software Test Output Validation
    Έκδοση 2010
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 45
    Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
    Έκδοση 2008
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 46
    Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
    Έκδοση 2004
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 47
    Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2005
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 48
    The inverse method : parametric verification of real-time embedded systems /
    ανά André, Etienne
    Έκδοση 2013
    Θέματα: “…Computer systems Verification.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  9. 49
    Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security
    Έκδοση 2018
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 50
    Verification and validation for quality of UML 2.0 models /
    ανά Unhelkar, Bhuvan
    Έκδοση 2005
    Θέματα: “…COMPUTER SOFTWARE -- VERIFICATION…”
    Βιβλίο
  11. 51
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies
    Έκδοση 2018
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 52
    Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2007
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 53
    Proceedings of the Eighth International Workshop on Dynamic Analysis
    Έκδοση 2010
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 54
    Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2013
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 55
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 56
    Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control
    Έκδοση 2017
    Θέματα: “…Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 57
    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    Έκδοση 2008
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 58
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 59
    Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
    Έκδοση 2016
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 60
    Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email