Εμφανίζονται 21 - 40 Αποτελέσματα από 315 για την αναζήτηση '"software verification"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 21
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Verification and validation for quality of UML 2.0 models /
    ανά Unhelkar, Bhuvan
    Έκδοση 2005
    Θέματα: “…COMPUTER SOFTWARE -- VERIFICATION…”
    Βιβλίο
  4. 24
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    String Analysis for Software Verification and Security
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Proceedings of the Eighth International Workshop on Dynamic Analysis
    Έκδοση 2010
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 27
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 28
    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
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 29
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
    Έκδοση 2016
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 31
    Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 32
    Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2019
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 33
    Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 34
    Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
    Έκδοση 2010
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 35
    Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2002
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 36
    Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
    Έκδοση 2010
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 37
    Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 38
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2005
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 39
    Proceedings of the Third Workshop on Behavioural Modelling
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 40
    Proceedings of the 14th International Conference on Modularity
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email