Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

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 verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods,...

Full description

Saved in:
Bibliographic Details
Superior document:Conference Series: Formal Methods in Computer-Aided Design
HerausgeberIn:
Strichman, Ofer
Sonstige:
Ivrii, Alexander
Strichman, Ofer
Year of Publication:2020
Language:English
Series:Conference Series: Formal Methods in Computer-Aided Design
Physical Description:1 electronic resource (284 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993545431104498
ctrlnum (CKB)4920000000630851
(oapen)https://directory.doabooks.org/handle/20.500.12854/70818
(EXLCZ)994920000000630851
collection bib_alma
record_format marc
spelling Ivrii, Alexander edt
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
2020 Formal Methods in Computer Aided Design
Vienna TU Wien Academic Press 2020
1 electronic resource (284 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Conference Series: Formal Methods in Computer-Aided Design
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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing.
English
Systems analysis & design bicssc
Software testing & verification bicssc
Computer architecture & logic design bicssc
Mathematical theory of computation bicssc
Artificial intelligence bicssc
Formal Methods
Computer-Aided System Design
Hardware and System Verification
Formal Verification, Specification, Synthesis, and Testing
Automated and Formal Reasoning
1-7281-5633-5
Strichman, Ofer edt
Ivrii, Alexander oth
Strichman, Ofer oth
language English
format eBook
author2 Strichman, Ofer
Ivrii, Alexander
Strichman, Ofer
author_facet Strichman, Ofer
Ivrii, Alexander
Strichman, Ofer
author2_variant a i ai
o s os
author2_role HerausgeberIn
Sonstige
Sonstige
title Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
spellingShingle Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Conference Series: Formal Methods in Computer-Aided Design
title_full Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
title_fullStr Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
title_full_unstemmed Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
title_auth Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
title_alt 2020 Formal Methods in Computer Aided Design
title_new Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
title_sort proceedings of the 20th conference on formal methods in computer-aided design – fmcad 2020
series Conference Series: Formal Methods in Computer-Aided Design
series2 Conference Series: Formal Methods in Computer-Aided Design
publisher TU Wien Academic Press
publishDate 2020
physical 1 electronic resource (284 p.)
isbn 3-85448-042-3
1-7281-5633-5
illustrated Not Illustrated
work_keys_str_mv AT ivriialexander proceedingsofthe20thconferenceonformalmethodsincomputeraideddesignfmcad2020
AT strichmanofer proceedingsofthe20thconferenceonformalmethodsincomputeraideddesignfmcad2020
AT ivriialexander 2020formalmethodsincomputeraideddesign
AT strichmanofer 2020formalmethodsincomputeraideddesign
status_str n
ids_txt_mv (CKB)4920000000630851
(oapen)https://directory.doabooks.org/handle/20.500.12854/70818
(EXLCZ)994920000000630851
carrierType_str_mv cr
hierarchy_parent_title Conference Series: Formal Methods in Computer-Aided Design
is_hierarchy_title Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
container_title Conference Series: Formal Methods in Computer-Aided Design
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1796652236295634944
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02124nam-a2200445z--4500</leader><controlfield tag="001">993545431104498</controlfield><controlfield tag="005">20231214132941.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202106s2020 xx |||||o ||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-85448-042-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000630851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/70818</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000630851</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ivrii, Alexander</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020</subfield></datafield><datafield tag="246" ind1=" " ind2=" "><subfield code="a">2020 Formal Methods in Computer Aided Design</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Vienna</subfield><subfield code="b">TU Wien Academic Press</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (284 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Conference Series: Formal Methods in Computer-Aided Design</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems analysis &amp; design</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software testing &amp; verification</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture &amp; logic design</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical theory of computation</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Methods</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer-Aided System Design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Hardware and System Verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Verification, Specification, Synthesis, and Testing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Automated and Formal Reasoning</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">1-7281-5633-5</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strichman, Ofer</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ivrii, Alexander</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strichman, Ofer</subfield><subfield code="4">oth</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">PROCEEDING</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:37:32 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2021-02-20 22:08:17 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337961890004498&amp;Force_direct=true</subfield><subfield code="Z">5337961890004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337961890004498</subfield></datafield></record></collection>

Similar Items