mtmt
The Hungarian Scientific Bibliography
XML
JSON
Public search
Magyarul
Bitvector Support in the Theta Formal Verification Framework
Dobos-Kovacs, Mihaly [Dobos-Kovács, Mihály (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / DMIS)
;
Hajdu, Akos [Hajdu, Ákos (formális módszerek), author] Department of Measurement and Information Systems (BUTE / FEEI)
;
Voros, Andras [Vörös, András (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / DMIS)
English Conference paper (Chapter in Book) Scientific
Published:
Andrey Brito. 2021 10th Latin-American Symposium on Dependable Computing (LADC). (2021) ISBN:9781665478311
pp. 01-08
Identifiers
MTMT: 32678888
DOI:
10.1109/LADC53747.2021.9672595
Scopus:
85125327218
Other URL:
https://ieeexplore.ieee.org/document/9672595/
Fundings:
Arrowhead Tools(826452) Funder: H2020
Új Nemzeti Kiválóság Program(ÚNKP-21-2-I) Funder: New National Excellence Programme
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
CSL
Copy
Print
2025-02-14 00:17
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy