Published June 6, 2026
| Version v1
Thesis
Open
Direct Hardware Circuit Transformation for Model Checking: Implementation and Impact Evaluation
Authors/Creators
Files
Szabo_Eva_Maria_Szakdoga.pdf
Files
(2.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8401a6344cff6c0d5f0c120b20d68d10
|
2.8 MB | Preview Download |