Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/200767
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5
-
Titel: 
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
en
Zitat: 
Narodytska, N., & Rümmer, P. (Eds.). (2024). Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5
-
reposiTUm-DOI: 
10.34727/2024/isbn.978-3-85448-065-5
-
CatalogPlus: 
AC17313148
-
Publikationstyp: 
Tagungsband - Full Paper Book
de
Sprache: 
Englisch
-
Herausgeber_innen: 
Narodytska, Nina 
Rümmer, Philipp 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-065-5
-
Datum (veröffentlicht): 
Okt-2024
-
Verlag: 
TU Wien Academic Press
-
Peer Reviewed: 
Ja
-
Keywords: 
formale Methode; rechnerunterstützte Systementwicklung; Hardwareverifikation; Systemverifikation; formale Verifikation; Spezifikation; Synthese und Testung; automatisches Schlussfolgern; formale Logik
de
 
formal methods; computer-aided system design; hardware and system verification; formal verification; specification; synthesis and testing; automated and formal reasoning
en
Zugehörige Publikationen und Daten in reposiTUm: beinhaltet: 
10.34727/2024/isbn.978-3-85448-065-5_1
10.34727/2024/isbn.978-3-85448-065-5_2
10.34727/2024/isbn.978-3-85448-065-5_3
10.34727/2024/isbn.978-3-85448-065-5_4
10.34727/2024/isbn.978-3-85448-065-5_5
10.34727/2024/isbn.978-3-85448-065-5_6
10.34727/2024/isbn.978-3-85448-065-5_7
10.34727/2024/isbn.978-3-85448-065-5_8
10.34727/2024/isbn.978-3-85448-065-5_9
10.34727/2024/isbn.978-3-85448-065-5_10
10.34727/2024/isbn.978-3-85448-065-5_11
10.34727/2024/isbn.978-3-85448-065-5_12
10.34727/2024/isbn.978-3-85448-065-5_13
10.34727/2024/isbn.978-3-85448-065-5_14
10.34727/2024/isbn.978-3-85448-065-5_15
10.34727/2024/isbn.978-3-85448-065-5_16
10.34727/2024/isbn.978-3-85448-065-5_17
10.34727/2024/isbn.978-3-85448-065-5_18
10.34727/2024/isbn.978-3-85448-065-5_19
10.34727/2024/isbn.978-3-85448-065-5_20
10.34727/2024/isbn.978-3-85448-065-5_21
10.34727/2024/isbn.978-3-85448-065-5_22
10.34727/2024/isbn.978-3-85448-065-5_23
10.34727/2024/isbn.978-3-85448-065-5_24
10.34727/2024/isbn.978-3-85448-065-5_25
10.34727/2024/isbn.978-3-85448-065-5_26
10.34727/2024/isbn.978-3-85448-065-5_27
10.34727/2024/isbn.978-3-85448-065-5_28
10.34727/2024/isbn.978-3-85448-065-5_29
10.34727/2024/isbn.978-3-85448-065-5_30
10.34727/2024/isbn.978-3-85448-065-5_31
10.34727/2024/isbn.978-3-85448-065-5_32
10.34727/2024/isbn.978-3-85448-065-5_33
10.34727/2024/isbn.978-3-85448-065-5_34
10.34727/2024/isbn.978-3-85448-065-5_35
-
Forschungs­schwerpunkte: 
Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
Enthalten in den Sammlungen:
Open Access Series
Proceedings

Miniaturbild
Front Matter
Adobe PDF
(366.74 kB)
Front Matter
Open Access CC BY 4.0
Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(15.24 MB)
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

425
aufgerufen am 23.09.2024

Download(s)

70
aufgerufen am 23.09.2024

Google ScholarTM

Check