Hakutulokset - "computer-aided system design"
Aihe-ehdotuksia
Aihe-ehdotuksia
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 5
- Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 4
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 4
- Automated and Formal Reasoning 1
- Computer-Aided System Design 1
- Formal Methods 1
- Formal Verification, Specification, Synthesis, and Testing 1
- Hardware and System Verification 1
- automated and formal reasoning 1
- computer-aided system design 1
- formal methods 1
- formal verification 1
- hardware and system verification 1
- specification 1
- synthesis and testing 1
Tarkoititko:
- "computer-aided system design" »
-
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Julkaistu 2023Aiheet: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Hae kokoteksti
Online -
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Julkaistu 2024Aiheet: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Hae kokoteksti
Online -
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Julkaistu 2025Aiheet: “…computer-aided system design…”
Hae kokoteksti
Online -
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Julkaistu 2021Aiheet: “…Computer-Aided System Design…”
Hae kokoteksti
Online -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Julkaistu 2021Aiheet: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Hae kokoteksti
Online -
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Julkaistu 2022Aiheet: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Hae kokoteksti
Online