Showing 141 - 160 results of 315 for search '"software verification"', query time: 0.06s Refine Results
  1. 141
    Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 142
    Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 143
    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
  4. 144
    Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing
    Published 2018
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 145
    Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 146
    Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 147
    Proceedings of the 10th ACM SIGPLAN workshop on Erlang
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 148
    Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 149
    Proceedings of the Evaluation and Assessment in Software Engineering
    Published 2020
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 150
    Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 151
    Proceedings of the 2003 ACM workshop on Formal methods in security engineering
    Published 2003
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 152
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 153
    Future of Software Engineering Proceedings
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 154
    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
  15. 155
    Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
    Published 1989
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 156
    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
  17. 157
    Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 158
    Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2002
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 159
    Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 160
    Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search