Search Results - "computing"

Refine Results
  1. 2041
  2. 2042

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  3. 2043

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 2044
  5. 2045
  6. 2046
  7. 2047
  8. 2048

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

    Published 2022
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 2049
  10. 2050
  11. 2051
  12. 2052
  13. 2053
  14. 2054
  15. 2055
  16. 2056
  17. 2057
  18. 2058
  19. 2059
  20. 2060