Showing 201 - 220 results of 278 for search '"Verification"', query time: 0.05s Refine Results
  1. 201
    Proceedings of the 10th ACM SIGPLAN workshop on Erlang
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 202
    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
  3. 203
    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
  4. 204
    Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
    Published 2018
    Subjects: “…Logic and verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 205
    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
  6. 206
    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
  7. 207
    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
  8. 208
    Future of Software Engineering Proceedings
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 209
    Proceedings of the ACL-IJCNLP 2009 Conference Short Papers
    Published 2009
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 210
    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
  11. 211
    Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
    Published 2009
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 212
    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
  13. 213
    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
  14. 214
    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
  15. 215
    Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 216
    Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 217
    Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering
    Published 2019
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 218
    Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
    Published 2012
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 219
    Proceedings of the 30th international conference on Software engineering
    Published 2008
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 220
    Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile
    Published 2014
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search