Show simple item record

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

dc.contributor.editorNarodytska, Nina
dc.contributor.editorRümmer, Philipp
dc.date.accessioned2024-10-26T04:18:33Z
dc.date.available2024-10-26T04:18:33Z
dc.date.issued2024
dc.date.submitted2024-10-25T09:36:05Z
dc.identifierhttps://library.oapen.org/handle/20.500.12657/93967
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/146882
dc.description.abstractThe 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.
dc.languageEnglish
dc.relation.ispartofseriesConference Series: Formal Methods in Computer-Aided Design
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and designen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verificationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic designen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligenceen_US
dc.subject.otherFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.titleProceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
dc.typebook
oapen.identifier.doi10.34727/2024/isbn.978-3-85448-065-5
oapen.relation.isPublishedByd5d39cb5-47fb-4fe7-a7da-f356ab83484d
oapen.pages316
oapen.place.publicationVienna
dc.seriesnumber5


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access