Search Results - "computing"

Refine Results
  1. 2401

    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…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  2. 2402
  3. 2403
  4. 2404

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  5. 2405
  6. 2406
  7. 2407
  8. 2408
  9. 2409
  10. 2410
  11. 2411
  12. 2412
  13. 2413
  14. 2414
  15. 2415
  16. 2416
  17. 2417
  18. 2418
  19. 2419
  20. 2420