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

Weitere Versionen (2)
Gespeichert in:
Hauptverfasser:
Rümmer, Philipp (HerausgeberIn), Narodytska, Nina (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Vienna TU Wien Academic Press 2024
Umfang:
1 electronic resource (316 pages)
Anmerkungen:
English
ISBN:
2024/isbn.9783854480655
Zugangseinschränkungen:
Open Access
Schlagworte:
Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
Links: