https://m2.mtmt.hu/ eng 2026-07-27 12:52 BookChapter 32678888 APPROVED true 0 false 2025-03-18T13:07:14.706+0000 2022-05-02T10:48:35.820+0000 2022-02-16T12:17:59.521+0000 true 10073065 Dobos-Kovács Mihály /api/author/10073065 Author Mihály Dobos-Kovács (informatika) true 2022-05-02T10:48:37.455+0000 2022-05-02T10:48:37.455+0000 true false true 25 25 /api/publicationtype/25 PublicationType Chapter in Book 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType Chapter in Book 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType Conference paper (Chapter in Book) 228 true 10000312 true 1 /api/category/1 Category Scientific true 1 Dobos-Kovacs, Mihaly 01 08 01 8 2021 Funding 2009825 /api/funding/2009825 Arrowhead Tools(826452) Funder: H2020 false true Funding 2009826 /api/funding/2009826 Új Nemzeti Kiválóság Program(ÚNKP-21-2-I) Funder: New National Excellence Programme false true true 2022 true true true true true false NONE 2025-03-18 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2022-05-17T11:18:00.186+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 17 2 3 0 true true 10002 English /api/language/10002 Angol Language English true 2 false true 10939 true 10017 /api/country/10017 Country United States of America true 13 /api/city/10939 City Piscataway (NJ), United States of America true 2054246 true 20433330 /api/publicationidentifier/20433330 https://www.worldcat.org/search?q=isbn%3A9781665478311 9781665478311 PublicationIdentifier ISBN: 9781665478311 true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource ISBN true true 10002 /api/publicationsourcetype/10002 PublicationSourceType Egyéb true false 122 true false /api/publication/32605463 Andrey Brito. 2021 10th Latin-American Symposium on Dependable Computing (LADC). (2021) ISBN:9781665478311 true true 23 23 /api/publicationtype/23 PublicationType Book 3 true 23 Book false 32605463 false true true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType Book 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType Conference proceedings (Book) 345 true 10000144 false Book 2021 true 1 /api/category/1 Category Scientific true 1 false Language 10002 /api/language/10002 English Angol English true 2 true PersonAuthorship 100653703 /api/authorship/100653703 Dobos-Kovacs, Mihaly [Dobos-Kovács, Mihály (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / MIT) 1 0.333 true false false Author 10073065 /api/author/10073065 Mihály Dobos-Kovács (informatika) Dobos-Kovács Mihály true true Dobos-Kovacs Mihaly true false false AuthorshipType 1 /api/authorshiptype/1 Author 0 true 0 true false true PersonAuthorship 100653704 /api/authorship/100653704 Hajdu, Akos [Hajdu, Ákos (formális módszerek), author] Department of Measurement and Information Systems (BUTE / FEEI) 2 0.333 false false false Author 10053159 /api/author/10053159 Ákos Hajdu (formális módszerek) Hajdu Ákos true 10053159 true Hajdu Akos true false false AuthorshipType 1 /api/authorshiptype/1 Author 0 true 0 true false true PersonAuthorship 100653705 /api/authorship/100653705 Voros, Andras [Vörös, András (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / MIT) 3 0.333 false true false Author 10042280 /api/author/10042280 András Vörös (informatika) Vörös András true 10042280 true Voros Andras true false false AuthorshipType 1 /api/authorshiptype/1 Author 0 true 0 true false true PublicationIdentifier 20618404 /api/publicationidentifier/20618404 DOI: 10.1109/LADC53747.2021.9672595 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/LADC53747.2021.9672595 https://doi.org/10.1109/LADC53747.2021.9672595 false true PublicationIdentifier 20923435 /api/publicationidentifier/20923435 Scopus: 85125327218 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85125327218 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85125327218 false true PublicationIdentifier 20618405 /api/publicationidentifier/20618405 Egyéb URL: https://ieeexplore.ieee.org/document/9672595/ PlainSource 40 /api/publicationsource/40 Other URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/9672595/ https://ieeexplore.ieee.org/document/9672595/ false true /api/publication/32678888 Dobos-Kovacs Mihaly et al. Bitvector Support in the Theta Formal Verification Framework. (2021) In: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 01-08<div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10073065"><a href="/gui2/?type=authors&mode=browse&sel=10073065" target="_blank">Dobos-Kovacs Mihaly (<span class="authorship-author-name">Dobos-Kovács Mihály</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Measurement and Information Systems; <span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/<span title="Department of Measurement and Information Systems">MIT</span>/Critical Systems Research Group</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10053159"><a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Akos (<span class="authorship-author-name">Hajdu Ákos</span> <span class="authorAux-mtmt"> formális módszerek</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Measurement and Information Systems</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Voros Andras (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/Department of Measurement and Information Systems; <span title="Budapest University of Technology and Economics">BUTE</span>/<span title="Faculty of Electrical Engineering and Informatics">FEEI</span>/<span title="Department of Measurement and Information Systems">MIT</span>/Critical Systems Research Group</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32678888" target="_blank">Bitvector Support in the Theta Formal Verification Framework</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" >Andrey Brito </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Fernando Pedone </span> (eds.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;32605463" target="_blank">2021 10th Latin-American Symposium on Dependable Computing (LADC) </a></div> <div class="conference"> Conference: <span class="location">Florianopolis, Brazil <span class="conference-date">2021.11.22. - 2021.11.26.</span> </div> <span class="publishedAt">Piscataway (NJ): <span class="publishers">IEEE</span>, <span class="page"> pp 01-08 </span> <span class="year">(2021)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Language: English | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1109/LADC53747.2021.9672595" target="_blank" href="https://doi.org/10.1109/LADC53747.2021.9672595"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85125327218" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85125327218"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://ieeexplore.ieee.org/document/9672595/" target="_blank" href="https://ieeexplore.ieee.org/document/9672595/"> Other URL </a> </span> </span> <span class="bookchapter-ids">Book link(s):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781665478311" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781665478311"> 9781665478311 </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Publication: 32678888</span> | <span class="status-data status-APPROVED"> Published </span> <span class="long-book-mtid">Book: 32605463</span> Core | <span class="type-subtype">Chapter in Book ( Conference paper ) </span> | <span class="pub-category">Scientific</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Arrowhead Tools(826452) Funder: H2020, Új Nemzeti Kiválóság Program(ÚNKP-21-2-I) Funder: New National Excellence Programme </div> <div class="lastModified">Last Modified: 2022.05.02. 12:48 Enikő Boczkó-Balla (BME admin4) </div> </div> </div>