Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/188648
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0
-
Titel: 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
en
Zitat: 
Nadel, A., & Rozier, K. Y. (Eds.). (2023). Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (Vol. 4, pp. 1–317). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0
-
reposiTUm-DOI: 
10.34727/2023/isbn.978-3-85448-060-0
-
CatalogPlus: 
AC17203597
-
Publikationstyp: 
Tagungsband - Full Paper Book
de
Sprache: 
Englisch
-
Herausgeber_innen: 
Nadel, Alexander 
Rozier, Kristin Yvonne 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-060-0
-
Datum (veröffentlicht): 
Okt-2023
-
Umfang: 
317
-
Verlag: 
TU Wien Academic Press, Wien
-
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
Abstract: 
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.
en
Zugehörige Publikationen und Daten in reposiTUm: beinhaltet: 
10.34727/2023/isbn.978-3-85448-060-0_1
10.34727/2023/isbn.978-3-85448-060-0_2
10.34727/2023/isbn.978-3-85448-060-0_3
10.34727/2023/isbn.978-3-85448-060-0_4
10.34727/2023/isbn.978-3-85448-060-0_5
10.34727/2023/isbn.978-3-85448-060-0_6
10.34727/2023/isbn.978-3-85448-060-0_7
10.34727/2023/isbn.978-3-85448-060-0_8
10.34727/2023/isbn.978-3-85448-060-0_9
10.34727/2023/isbn.978-3-85448-060-0_10
10.34727/2023/isbn.978-3-85448-060-0_11
10.34727/2023/isbn.978-3-85448-060-0_12
10.34727/2023/isbn.978-3-85448-060-0_13
10.34727/2023/isbn.978-3-85448-060-0_14
10.34727/2023/isbn.978-3-85448-060-0_15
10.34727/2023/isbn.978-3-85448-060-0_16
10.34727/2023/isbn.978-3-85448-060-0_17
10.34727/2023/isbn.978-3-85448-060-0_18
10.34727/2023/isbn.978-3-85448-060-0_19
10.34727/2023/isbn.978-3-85448-060-0_20
10.34727/2023/isbn.978-3-85448-060-0_21
10.34727/2023/isbn.978-3-85448-060-0_22
10.34727/2023/isbn.978-3-85448-060-0_23
10.34727/2023/isbn.978-3-85448-060-0_24
10.34727/2023/isbn.978-3-85448-060-0_25
10.34727/2023/isbn.978-3-85448-060-0_26
10.34727/2023/isbn.978-3-85448-060-0_27
10.34727/2023/isbn.978-3-85448-060-0_28
10.34727/2023/isbn.978-3-85448-060-0_29
10.34727/2023/isbn.978-3-85448-060-0_30
10.34727/2023/isbn.978-3-85448-060-0_31
10.34727/2023/isbn.978-3-85448-060-0_32
10.34727/2023/isbn.978-3-85448-060-0_33
10.34727/2023/isbn.978-3-85448-060-0_34
10.34727/2023/isbn.978-3-85448-060-0_35
10.34727/2023/isbn.978-3-85448-060-0_36
10.34727/2023/isbn.978-3-85448-060-0_37
10.34727/2023/isbn.978-3-85448-060-0_38
10.34727/2023/isbn.978-3-85448-060-0_39
-
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
Volltext (Version of Record (published version))
Adobe PDF
(17.29 MB)
Open Access CC BY 4.0
Miniaturbild
Front Matter
Adobe PDF
(196.21 kB)
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

1.220
aufgerufen am 20.11.2023

Download(s)

477
aufgerufen am 20.11.2023

Google ScholarTM

Check