id |
oapen-20.500.12657-85158
|
record_format |
dspace
|
spelling |
oapen-20.500.12657-851582023-11-17T02:24:26Z Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 Nadel, Alexander Rozier, Kristin Yvonne Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering::UMZT Software testing & verification bic Book Industry Communication::U Computing & information technology::UY Computer science::UYF Computer architecture & logic design bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing. 2023-11-16T10:47:30Z 2023-11-16T10:47:30Z 2023 book https://library.oapen.org/handle/20.500.12657/85158 eng Conference Series: Formal Methods in Computer-Aided Design application/pdf Attribution 4.0 International Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf https://www.tuwien.at/academicpress/en/produkt/proceedings-of-the-23rd-conference-on-formal-methods-in-computer-aided-design-fmcad-2023/ TU Wien Academic Press 10.34727/2023/isbn.978-3-85448-060-0 10.34727/2023/isbn.978-3-85448-060-0 957c0323-9030-48c6-8bd4-a008cf795a7a 4 332 open access
|
institution |
OAPEN
|
collection |
DSpace
|
language |
English
|
description |
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
|
title |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
spellingShingle |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
title_short |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
title_full |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
title_fullStr |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
title_full_unstemmed |
Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
|
title_sort |
nadel-2023-proceedings of the 23rd conference on formal methods in comput...-vor.pdf
|
publisher |
TU Wien Academic Press
|
publishDate |
2023
|
url |
https://www.tuwien.at/academicpress/en/produkt/proceedings-of-the-23rd-conference-on-formal-methods-in-computer-aided-design-fmcad-2023/
|
_version_ |
1799945307163721728
|