Showing 1 - 19 results of 19 for search '"Model-checking"', query time: 0.05s Refine Results
  1. 1
    Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2003
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the 1st international workshop on Advances in model-based testing
    Published 2005
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
    Published 1998
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
    Published 2010
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems
    Published 2019
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2005
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Proceedings of the 8th international workshop on Specification and verification of component-based systems
    Published 2009
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
    Published 2013
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Proceedings of the 2004 ACM workshop on Formal methods in security engineering
    Published 2004
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Proceedings of the 2019 3rd International Conference on Software and e-Business
    Published 2019
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
    Published 2017
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    Published 2005
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 13
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2004
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2008
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
    Published 2003
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 16
    Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
    Published 2011
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2011
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
    Published 2019
    Subjects: “…Model checking…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 19
    On model-theoretic approaches to monadic second-order logic evaluation
    Subjects: “…Model-checking…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search