Showing 201 - 220 results of 739 for search '"Formal Methods"', query time: 0.13s Refine Results
  1. 201
    Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
    Published 2013
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 202
    Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics
    Published 2011
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 203
    Proceedings of the 19th Workshop on Adaptive and Reflexive Middleware
    Published 2018
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 204
    Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
    Published 2005
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 205
    Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
    Published 2011
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 206
    Proceedings of the 2nd International Workshop on Multimedia Forensics and Security
    Published 2017
    Subjects: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 207
    Proceedings of the 6th India Software Engineering Conference
    Published 2013
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 208
    Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics
    Published 2010
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 209
    Proceedings of the 6th ACM workshop on Formal methods in security engineering
    Published 2008
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 210
    Proceedings of the 5th India Software Engineering Conference
    Published 2012
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 211
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering
    Published 2007
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 212
    Proceedings of the 6th International Conference on Communications and Broadband Networking
    Published 2018
    Subjects: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 213
    Proceedings of the 1st Workshop on The Science of Cyberinfrastructure: Research, Experience, Applications and Models
    Published 2015
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 214
    Proceedings of the 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT
    Published 2014
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 215
    Proceedings of the 1st International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications
    Published 2012
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 216
    Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
    Published 2010
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 217
    Proceedings of the International Conference on Management of Emergent Digital EcoSystems
    Published 2010
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 218
    Proceedings of the Middleware Industry Track
    Published 2014
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 219
    Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
    Published 2018
    Subjects: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 220
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
    Published 2013
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search