Résultats de la recherche - "Computer-Aided System Design"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
- 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
Recherches alternatives:
- aided »
- system »
-
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Publié 2023Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Accéder au texte intégral
Online -
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Publié 2024Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Accéder au texte intégral
Online -
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Publié 2025Sujets: “…computer-aided system design…”
Accéder au texte intégral
Online -
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Publié 2021Sujets: “…Computer-Aided System Design…”
Accéder au texte intégral
Online -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Publié 2021Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Accéder au texte intégral
Online -
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Publié 2022Sujets: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
Accéder au texte intégral
Online