Record link: 
http://hdl.handle.net/20.500.12708/15461
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6
-
Title: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
en
Citation: 
Ivrii, A., & Strichman, O. (Eds.). (2020). Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 (Vol. 1). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6
-
reposiTUm DOI: 
10.34727/2020/isbn.978-3-85448-042-6
-
CatalogPlus: 
AC17203467
-
Publication Type: 
Proceedings - Full Paper Book
en
Language: 
English
-
Editors: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-042-6
-
Volume: 
1
-
Date (published): 
2020
-
Number of Pages: 
269
-
Publisher: 
TU Wien Academic Press, Wien
-
Peer reviewed: 
Yes
-
Keywords: 
computer-aided system design
en
Link (external): 
https://www.youtube.com/channel/UChDdMr--GIGYWw-q4iviihA
-
Linked records in reposiTUm: has part: 
10.34727/2020/isbn.978-3-85448-042-6_1
10.34727/2020/isbn.978-3-85448-042-6_2
10.34727/2020/isbn.978-3-85448-042-6_3
10.34727/2020/isbn.978-3-85448-042-6_4
10.34727/2020/isbn.978-3-85448-042-6_5
10.34727/2020/isbn.978-3-85448-042-6_6
10.34727/2020/isbn.978-3-85448-042-6_7
10.34727/2020/isbn.978-3-85448-042-6_8
10.34727/2020/isbn.978-3-85448-042-6_9
10.34727/2020/isbn.978-3-85448-042-6_10
10.34727/2020/isbn.978-3-85448-042-6_11
10.34727/2020/isbn.978-3-85448-042-6_12
10.34727/2020/isbn.978-3-85448-042-6_13
10.34727/2020/isbn.978-3-85448-042-6_14
10.34727/2020/isbn.978-3-85448-042-6_15
10.34727/2020/isbn.978-3-85448-042-6_16
10.34727/2020/isbn.978-3-85448-042-6_17
10.34727/2020/isbn.978-3-85448-042-6_18
10.34727/2020/isbn.978-3-85448-042-6_19
10.34727/2020/isbn.978-3-85448-042-6_20
10.34727/2020/isbn.978-3-85448-042-6_21
10.34727/2020/isbn.978-3-85448-042-6_22
10.34727/2020/isbn.978-3-85448-042-6_23
10.34727/2020/isbn.978-3-85448-042-6_24
10.34727/2020/isbn.978-3-85448-042-6_25
10.34727/2020/isbn.978-3-85448-042-6_26
10.34727/2020/isbn.978-3-85448-042-6_27
10.34727/2020/isbn.978-3-85448-042-6_28
10.34727/2020/isbn.978-3-85448-042-6_29
10.34727/2020/isbn.978-3-85448-042-6_30
10.34727/2020/isbn.978-3-85448-042-6_31
10.34727/2020/isbn.978-3-85448-042-6_32
10.34727/2020/isbn.978-3-85448-042-6_33
10.34727/2020/isbn.978-3-85448-042-6_34
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Open Access Series
Proceedings

Thumbnail
Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf
Adobe PDF
(18.45 MB)
Published version
Open Access
Thumbnail
Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf
Adobe PDF
(325.06 kB)
Table of Contents
Open Access
Show full item record

Page view(s)

996
checked on Nov 19, 2023

Download(s)

529
checked on Nov 19, 2023

Google ScholarTM

Check