Εμφανίζονται 161 - 180 Αποτελέσματα από 315 για την αναζήτηση '"software verification"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 161
    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 162
    Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 163
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 164
    Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
    Έκδοση 2012
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 165
    Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 166
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
    Έκδοση 2017
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 167
    Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 168
    Proceedings of the First International Workshop on Software Test Output Validation
    Έκδοση 2010
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 169
    Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 170
    Proceedings of the 6th Conference on Formal Methods in Software Engineering
    Έκδοση 2018
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 171
    Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
    Έκδοση 2008
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 172
    Proceedings of the 1st workshop on Modularity in systems software
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 173
    Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation
    Έκδοση 2016
    Θέματα: “…Software verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 174
    Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
    Έκδοση 2018
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 175
    Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2010
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 176
    Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
    Έκδοση 2004
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 177
    Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 178
    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
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 179
    Proceedings of the eighteenth international symposium on Software testing and analysis
    Έκδοση 2009
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 180
    Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
    Έκδοση 2013
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email