Showing 141 - 160 results of 278 for search '"Verification"', query time: 0.04s Refine Results
  1. 141
    Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 142
    Proceedings of the 23rd conference on Winter simulation
    Published 1991
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 143
    Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
    Published 2017
    Subjects: “…Logic and verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 144
    Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 145
    Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 146
    Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
    Published 2009
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Proceedings of the 31st conference on Winter simulation: Simulation - a bridge to the future - Volume 2
    Published 1999
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 148
    Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 149
    Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative
    Published 2014
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 150
    Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks
    Published 2018
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 151
    Proceedings of the 18th conference on Winter simulation
    Published 1986
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 153
    Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 154
    Proceedings of the 19th annual symposium on Simulation
    Published 1986
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 155
    Proceedings of the 9th International Workshop on Advanced Modularization Techniques
    Published 2014
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 156
    Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 157
    Proceedings of the 1st international workshop on Advances in model-based testing
    Published 2005
    Subjects: “…Verification by model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 158
    Proceedings of the 20th annual symposium on Simulation
    Published 1987
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 159
    Proceedings of the 18th annual symposium on Simulation
    Published 1985
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 160
    Proceedings of the 2017 International Conference on Automation, Control and Robots
    Published 2017
    Subjects: “…Model verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search