Εμφανίζονται 161 - 180 Αποτελέσματα από 278 για την αναζήτηση '"Verification"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 161
    Proceedings of the Third Workshop on Syntax and Structure in Statistical Translation
    Έκδοση 2009
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 162
    Proceedings of the First Workshop on the Analysis of Model Transformations
    Έκδοση 2012
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 163
    Proceedings of the 16th international conference on Hybrid systems: computation and control
    Έκδοση 2013
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 164
    Proceedings of the 26th Annual International Conference on Machine Learning
    Έκδοση 2009
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 165
    Proceedings of the 8th International Conference on Computational Methods in Systems Biology
    Έκδοση 2010
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 166
    Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
    Έκδοση 2003
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 167
    Proceedings of the 6th ACM workshop on Formal methods in security engineering
    Έκδοση 2008
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 168
    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
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 169
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 170
    Proceedings of the Second Workshop on Syntax and Structure in Statistical Translation
    Έκδοση 2008
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 171
    Proceedings of the 6th conference on Winter simulation
    Έκδοση 1973
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 172
    Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 173
    Proceedings of the 2015 Workshop on ns-3
    Έκδοση 2015
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 174
    Proceedings of the 5th international conference on Generative programming and component engineering
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 175
    Proceedings of the 25th international conference on Machine learning
    Έκδοση 2008
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 176
    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
    Έκδοση 2014
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 177
    Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
    Έκδοση 2017
    Θέματα: “…Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 178
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 179
    Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
    Έκδοση 1998
    Θέματα: “…Verification by model checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 180
    Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
    Έκδοση 2011
    Θέματα: “…Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email