Risultati della ricerca - "Computer-Aided System Design"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- 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
Cerca anche:
- system »
-
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Pubblicazione 2023Soggetti: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Testo
Online -
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Pubblicazione 2024Soggetti: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Testo
Online -
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Pubblicazione 2025Soggetti: “...computer-aided system design...”
Testo
Online -
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Pubblicazione 2021Soggetti: “...Computer-Aided System Design...”
Testo
Online -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Pubblicazione 2021Soggetti: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Testo
Online -
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Pubblicazione 2022Soggetti: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Testo
Online