| id |
oapen-20.500.12657-51064
|
| record_format |
dspace
|
| spelling |
oapen-20.500.12657-510642022-04-26T11:21:06Z Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 Piskac, Ruzica Whalen, Michael 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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing. 2021-10-18T10:56:55Z 2021-10-18T10:56:55Z 2021 book 9783854480464 https://library.oapen.org/handle/20.500.12657/51064 eng Conference Series: Formal Methods in Computer-Aided Design application/pdf Attribution-ShareAlike 4.0 International E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf https://www.tuwien.at/academicpress/produkt/proceedings-of-the-21st-conference-on-formal-methods-in-computer-aided-design-fmcad-2021-ebook/ TU Wien Academic Press 10.34727/2021/isbn.978-3-85448-046-4 10.34727/2021/isbn.978-3-85448-046-4 957c0323-9030-48c6-8bd4-a008cf795a7a 9783854480464 2 284 Vienna 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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing.
|
| title |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| spellingShingle |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| title_short |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| title_full |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| title_fullStr |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| title_full_unstemmed |
E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
|
| title_sort |
e-book_proceedings of the 21st conference on formal methods in computer-aided design – fmcad 2021.pdf
|
| publisher |
TU Wien Academic Press
|
| publishDate |
2021
|
| url |
https://www.tuwien.at/academicpress/produkt/proceedings-of-the-21st-conference-on-formal-methods-in-computer-aided-design-fmcad-2021-ebook/
|
| _version_ |
1771297386682908672
|
