Showing 21 - 40 results of 278 for search '"Verification"', query time: 0.04s Refine Results
  1. 21
    Proceedings of the Second International Workshop on Automation of Software Test
    Published 2007
    Subjects: “…Logic and verification…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 23
    Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 24
    Proceedings of the 19th international symposium on Software testing and analysis
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 25
    Proceedings of the 2012 International Symposium on Software Testing and Analysis
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 26
    Proceedings of the Third International Workshop on Predictor Models in Software Engineering
    Published 2007
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Proceedings of the 2006 conference on Specification and verification of component-based systems
    Published 2006
    Subjects: “…Verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 28
    Proceedings of the 2007 international symposium on Software testing and analysis
    Published 2007
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 29
    Proceedings of the 2015 International Symposium on Software Testing and Analysis
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 30
    Proceedings of the 2011 International Symposium on Software Testing and Analysis
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 31
    Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2004
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 32
    Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2000
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 33
    Proceedings of the 6th International Workshop on Automation of Software Test
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 34
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Proceedings of the 2005 conference on Specification and verification of component-based systems
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 37
    Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 38
    Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 40
    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search