Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Γλώσσα:English
Έκδοση: TU Wien Academic Press 2023
Διαθέσιμο Online:https://www.tuwien.at/academicpress/en/produkt/proceedings-of-the-23rd-conference-on-formal-methods-in-computer-aided-design-fmcad-2023/
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